Abstract
The SAT Conference on Theory and Applications of Satisfiability Testing was held in Lisbon, Portugal, 28-31 May 2007. The conference, which attracted a record-breaking 80 participants, featured 34 papers and two invited presentations. The venue also included the SAT competition, the QBF evaluation, the PB evaluation, and the MAX-SAT evaluation.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have