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.
Published
2007-12-15
How to Cite
Marques-Silva, J., Sakallah, K., & Lynce, I. (2007). Report on the SAT 2007 Conference on Theory and Applications of Satisfiability Testing. AI Magazine, 28(4), 135. https://doi.org/10.1609/aimag.v28i4.2075
Section
Workshop Reports