Original language | English |
---|---|
Title of host publication | Theory and Applications of Satisfiability Testing – SAT 2007 |
Publisher | Springer |
Pages | 355-268 |
Volume | 4501 |
ISBN (Print) | 978-3-540-72787-3 |
DOIs | |
Publication status | Published - 2007 |
Event | International Conference on Theory and Applications of Satisfiability Testing - Lissabon, Portugal Duration: 28 May 2007 → 31 May 2007 |
Publication series
Name | Lecture notes in computer science |
---|---|
Publisher | Springer |
Conference
Conference | International Conference on Theory and Applications of Satisfiability Testing |
---|---|
Country | Portugal |
City | Lissabon |
Period | 28/05/07 → 31/05/07 |