1.6k citations
- UNSW SydneyAU19 papers
- Australian National UniversityAU8 papers
- Centre National de la Recherche ScientifiqueFR7 papers
- Laboratoire d'Informatique, de Robotique et de Microélectronique de MontpellierFR6 papers
- Dalle Molle Institute for Artificial Intelligence ResearchCH4 papers
- İzmir University of EconomicsTR3 papers
- Polytechnique MontréalCA3 papers
- The University of AdelaideAU3 papers
- The University of MelbourneAU3 papers
- University College CorkIE3 papers
- Centrum Wiskunde & InformaticaNL2 papers
- Chinese University of Hong KongHK2 papers
20 papers · 2 filters
Flow-Based Propagators for the SEQUENCE and Related Global Constraints
Michael J. Maher, Nina Narodytska, Claude-Guy Quimper +1
We propose new filtering algorithms for the SEQUENCE constraint and some extensions of the SEQUENCE constraint based on network flows. We enforce domain consistency on the SEQUENCE…
Elicitation strategies for fuzzy constraint problems with missing preferences: algorithms and experimental studies
Mirco Gelain, Maria Pini, Francesca Rossi +2
Fuzzy constraints are a popular approach to handle preferences and over-constrained problems in scenarios where one needs to be cautious, such as in medical or space applications.…
Manipulation and gender neutrality in stable marriage procedures
Maria Pini, Francesca Rossi, Brent Venable +1
The stable marriage problem is a well-known problem of matching men to women so that no man and woman who are not married to each other both prefer each other. Such a problem has a…
Symmetries of Symmetry Breaking Constraints
George Katsirelos, Toby Walsh
Symmetry is an important feature of many constraint programs. We show that any symmetry acting on a set of symmetry breaking constraints can be used to break symmetry. Different sy…
Decomposition of the NVALUE constraint
Christian Bessiere, George Katsirelos, Nina Narodytska +2
We study decompositions of NVALUE, a global constraint that can be used to model a wide range of problems where values need to be counted. Whilst decomposition typically hinders pr…
View-based Propagator Derivation
Christian Schulte, Guido Tack
When implementing a propagator for a constraint, one must decide about variants: When implementing min, should one also implement max? Should one implement linear constraints both…