Author

Karem A. Sakallah

3 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

3 books
Theory and Application of Satisfiability Testing

Theory and Application of Satisfiability Testing

Year unknown Karem A. Sakallah and Laurent Simon
Theory and Applications of Satisf...

Theory and Applications of Satisfiability Testing - SAT 2007

Year unknown Joao Marques-Silva and Karem A. Sakallah
Theory and Applications of Satisfiability Testing - SAT 2011

Theory and Applications of Satisfiability Testing - SAT 2011

Year unknown

Fetched from OpenLibrary. Some translations may appear as separate works.