Autor: Joao Marques-Silva

Soporte

1 Ebooks de 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
Inglés
DRM
€58.04