Författare: Karem A. Sakallah

Stöd

2 E-böcker av Karem A. Sakallah

Joao Marques-Silva & Karem A. Sakallah: Theory and Applications of Satisfiability Testing – SAT 2007
This volume contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. The International Conferences on Theory and Applications of S …
PDF
Engelska
DRM
€57.49
Karem A. Sakallah & Laurent Simon: Theory and Application of Satisfiability Testing
This book constitutes the refereed proceedings of the 14th International Conference on Theory and Applications of Satisfiability Testing, SAT 2011, held in Ann Arbor, MI, USA in June 2011.The 25 revi …
PDF
Engelska
DRM
€57.78