Marques-Silva, Joao

• 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
• AI Magazine Vol. 37 No. 3: Fall 2016 - Workshop Reports
  Reports of the 2016 AAAI Workshop Program
  Abstract  PDF