Report on the SAT 2007 Conference on Theory and Applications of Satisfiability Testing

Joao Marques-Silva, Karem Sakallah, Ines Lynce

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.

Full Text:

PDF


DOI: http://dx.doi.org/10.1609/aimag.v28i4.2075

Copyright © 2014, Association for the Advancement of Artificial Intelligence (www.aaai.org). All rights reserved.