 |
 Contractibility for Open Global ConstraintsTheory and Practice of Logic Programming (TPLP), 2017 |
 Aspartame: Solving Constraint Satisfaction Problems with Answer Set
ProgrammingInternational Conference on Logic Programming and Non-Monotonic Reasoning (LPNMR), 2013 |
 |
 The AllDifferent Constraint with PrecedencesIntegration of AI and OR Techniques in Constraint Programming (CPAIOR), 2011 |
 Circuit Complexity and Decompositions of Global ConstraintsInternational Joint Conference on Artificial Intelligence (IJCAI), 2009 |
