Constraints and Search
Papers
- Enhancing Constraints Manipulation in Semiring-Based Formalisms by Stefano Bistarelli, Fabio Gadducci
- Evaluating ASP and Commercial Solvers on the CSPLib by Marco Cadoli, Ton Mancini, Davide Micaletto, Fabio Patrizi
- Automatic Generation of Implied Constraints by John Charnley, Simon Colton, Ian Miguel
- Maintaining Generalized Arc Consistency on General n-ary Boolean Constraints by Kenil Cheng, Roland Yap
- A Study on the Short-Term Prohibition Mechanisms in Tabu Search by Luca Di Gaspero, Marco Chiarandini, Andrea Schaerf
- Random Subset Optimization by Boi Faltings, Quang Huy Nguyen
- Search for Compromise Solutions in Multiobjective State Space Graphs by Lucie Galand, Patrice Perny
- MINION: A Fast Scalable Constraint Solver by Ian Gent, Christopher Jefferson, Ian Miguel
- Asynchronous Forward-Bounding for Distributed Constraints Optimization by Amir Gershman, Amnon Meisels, Roie Zivan
- Distributed Log-based Reconciliation by Youssef Hamadi, Yek Chong
- Extracting MUCs from Constraint Networks by Fred Hemery, Christophe Lecoutre, Lakhdar Sais, Frederic Boussemart
- Preference-based Inconsistency Proving: When the Failure of the Best Is Sufficient by Ulrich Junker
- Return of the JTMS: Preferences Orchestrate Conflict Learning and Solution Synthesis by Ulrich Junker, Olivier Lhomme
- Multi-Objective Propagation in Constraint Programming by Javier Larrosa, Emma Rollon
- Last Conflict Based Reasoning by Christophe Lecoutre, Lakhdar Sais, Sébastien Tabary, Vincent Vidal
- Dynamic Orderings for AND/OR Branch-and-Bound Search in Graphical Models by Radu Marinescu, Rina Dechter
- Compact Representation of Sets of Binary Constraints by Jussi Rintanen
- Pessimistic Heuristics Beat Optimistic Ones in Real-Time Search by Aleksander Sadikov, Ivan Bratko
- Inverse Consistencies for Non-binary Constraints by Konstantinos Stergiou, Toby Walsh
- Guiding Search using Constraint-level Advice by Radoslaw Szymanek, Barry O'Sullivan
- Beyond Singleton Arc Consistency by Marc van Dongen
- Symmetry Breaking using Value Precedence by Toby Walsh
Posters
