автор: Joao Marques-Silva

поддержка

1 Электронные книги 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
английский
DRM
€58.04