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

A number of additional events were associated with the SAT conference, including the well-known SAT competition, the QBF evaluation, the PB evaluation, and the MAX-SAT evaluation. Armin Biere, (CP) techniques for word-level problems professor at the Johannes Kepler University, and their propositional encoding, Linz, Austria, was the invited and satisfiability modulo theories speaker for this special session, having (SMT). Submissions were solicited for addressed design and implementation original research on proof systems and issues in modern SAT solvers. Armin Biere, Marijn Heule, and and extensions of SAT find many practical The conference attracted 80 participants, Knot Pipatsrisawat. The SAT Conference Was Held in Lisbon, Portugal.