1 Ebook di Joao Marques-Silva
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
Inglese
DRM
€58.04