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

Authors

  • Joao Marques-Silva
  • Karem Sakallah
  • Ines Lynce

DOI:

https://doi.org/10.1609/aimag.v28i4.2075

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.

Downloads

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

Issue

Section

Workshop Reports