الكتب الالكترونية

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. ...