Showing 1 - 2 results of 2 for search 'Sakallah, Karem A.', query time: 0.03s Refine Results
  1. 1
    Theory and Applications of Satisfiability Testing - SAT 2011 14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings /
    Published 2011
    Other Authors: “…Sakallah, Karem A.…”
    Full Text via HEAL-Link
    Electronic eBook
  2. 2
    Theory and Applications of Satisfiability Testing – SAT 2007 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings /
    Published 2007
    Other Authors: “…Sakallah, Karem A.…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search