作者: 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