 TabID: Automatic Identification and Tabulation of Subproblems in Constraint ModelsJournal of Artificial Intelligence Research (JAIR), 2022 |
 Short and Long Supports for Constraint PropagationJournal of Artificial Intelligence Research (JAIR), 2014 |
 Tractable Combinations of Global ConstraintsInternational Conference on Principles and Practice of Constraint Programming (CP), 2013 |
 Lifting Structural Tractability to CSP with Global ConstraintsInternational Conference on Principles and Practice of Constraint Programming (CP), 2013 |
 Circuit Complexity and Decompositions of Global ConstraintsInternational Joint Conference on Artificial Intelligence (IJCAI), 2009 |
 The Parameterized Complexity of Global ConstraintsAAAI Conference on Artificial Intelligence (AAAI), 2008 |
 Range and Roots: Two Common Patterns for Specifying and Propagating
Counting and Occurrence ConstraintsArtificial Intelligence (AI), 2009 |
