Total Books: 1 - 1 /1
Theory and Applications of Satisfiability Testing - SAT 2007
Contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. ...
Lire la suite
Total Books: 1 - 1 /1
