Lynce, Ines

• AI Magazine Vol. 28 No. 4: Winter 2007 - Workshop Reports
  Report on the SAT 2007 Conference on Theory and Applications of Satisfiability Testing
  Abstract  PDF