AAAI Publications

Gabas, Joel, University of Lleida, Spain

• Twenty-Fourth International Joint Conference on Artificial Intelligence - Main Track — Constraints, Satisfiability, and Search
  Exploiting the Structure of Unsatisfiable Cores in MaxSAT
  Abstract  PDF