| 作者 |
SAT 2007 (2007 : Lisbon, Portugal)
|
| 書名 |
Theory and Applications of Satisfiability Testing - SAT 2007 [electronic resource] : 10th International Conference, SAT 2007, Lisbon, Portugal, May 28-31, 2007: Proceedings / edited by Joao Marques-Silva, Karem A. Sakallah |
| 出版項 |
Berlin Heidelberg : Springer-Verlag GmbH., 2007 |
| 國際標準書號 |
9783540727880 (electronic bk.) |
|
9783540727873 (paper) |
|
