1. Theory and applications of satisfiability testing : SAT 2007 : 10th international conference, Lisbon, Portugal, May 28-31, 2007 : proceedings Author/Creator: SAT 2007 Lisbon, Portugal) (2007 Publication/Creation: Berlin ; New York : Springer, [2007] Resource Type: Book Access & Availability: Loading