AAAI Publications

Le Berre, Daniel, CRIL, Artois University and CNRS, France

• Thirty-First AAAI Conference on Artificial Intelligence - Search and Constraint Satisfaction
  A SAT-Based Approach for Solving the Modal Logic S5-Satisfiability Problem
  Abstract  PDF