Theory and Applications of Satisfiability Testing – SAT 2007 [electronic resource] : 10th International Conference, Lisbon, Portugal, May 28-31, 2007. Proceedings / edited by João Marques-Silva, Karem A. Sakallah.
![E-book E-book](http://biblioteca.ipicyt.edu.mx/images/format_icons/icon_format/ebook.png?cafb27)
Electronic resources
Record details
- ISBN: 9783540727880
- Physical Description: XI, 384 p. Also available online. online resource.
- Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.