Karem A. Sakallah

Identifiers

Open LibraryOL7204273A

Top Subjects

Computer science (1)
Artificial intelligence (1)
Computer software (1)
Logic design (1)

Books by Karem A. Sakallah

Total count: 3

Theory and Applications of Satisfiability Testing - SAT 200710th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007, Proceedings

Springer London, Limited2007-01-01
Theory and Applications of Satisfiability Testing - SAT 201114th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011. Proceedings

Springer-Verlag GmbH Berlin Heidelberg2011-01-01
Theory and Application of Satisfiability Testing14th International Conference, SAT 2011, Ann Arbor, MI, USA, June 19-22, 2011, Proceedings

Springer2011-09-15