Search

You searched for: Auteur Sakallah, Karem A. Remove constraint Auteur: Sakallah, Karem A.
1 - 2 of 2
Number of results to display per page

Search Results

1. Theory and Applications of Satisfiability Testing - SAT 2011
thumbnail
Full text!
Author:
Sakallah, Karem A.; Kanade, Takeo; Simon, Laurent; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2011
Format:
e-book
2. Theory and Applications of Satisfiability Testing – SAT 2007
thumbnail
Full text!
Author:
Marques-Silva, João; Hutchison, David; Kanade, Takeo; Sakallah, Karem A.; Kittler, Josef
Publisher:
Springer Berlin Heidelberg 2007
Format:
e-book