Publications

Please observe the copyrights held by the various publishers!

Global Constraints | Hybrid Search Methods | Symmetry Breaking

Pierre Flener, Justin Pearson, Meinolf Sellmann
Static and Dynamic Structural Symmetry Breaking
AMAI. To appear. 2009.

Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, Magnus Agren
Dynamic Structural Symmetry Breaking for Constraint Satisfaction Problems
Constraints. To appear.

Serdar Kadioglu and Meinolf Sellmann
Grammar Constraints
Constraints. Vol 14, 2009.

Yuri Malitsky and Meinolf Sellmann
Stochastic Offline Programming
Accepted at ICTAI, 2009.

Tarik Hadzic, Eoin O'Mahony, Barry O'Sullivan, Meinolf Sellmann
Enhanced Inference for the Market Split Problem
Accepted at ICTAI, 2009.

Meinolf Sellmann
On Decomposing Knapsack Constraints for Length-Lex Bounds Consistency
Proceedings of the 15th intern. Conference on the Principles and Practice of Constraint Programming (CP), Springer LNCS 5732, pp. 762-770, 2009.

Christopher Jefferson, Serdar Kadioglu, Karen Petrie, Meinolf Sellmann, Stanislav Zivny
Same-Relation Constraints
Proceedings of the 15th intern. Conference on the Principles and Practice of Constraint Programming (CP), Springer LNCS 5732, pp. 470-485, 2009.

Serdar Kadioglu and Meinolf Sellmann
Dialectic Search
Proceedings of the 15th intern. Conference on the Principles and Practice of Constraint Programming (CP), Springer LNCS 5732, pp. 486-500, 2009.

Carlos Ansotegui Gil, Meinolf Sellmann, Kevin Tierney
A Gender-Based Genetic Algorithm for the Automatic Configuration of Solvers
Proceedings of the 15th intern. Conference on the Principles and Practice of Constraint Programming (CP), Springer LNCS 5732, pp. 142-157, 2009.

Bistra N. Dilkina, Carla P. Gomes, Yuri Malitsky, Ashish Sabharwal, Meinolf Sellmann
Backdoors to Combinatorial Optimization: Feasibility and Optimality
Proceedings the Sixth International Conference on the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR), Springer LNCS 5547, pp. 56-70, 2009.

Gilles Pesant, Claude-Guy Quimper, Louis-Martin Rousseau, Meinolf Sellmann
The Polytope of Context-Free Grammar Constraints
Proceedings the Sixth International Conference on the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR), Springer LNCS 5547, pp. 223-232, 2009.

Meinolf Sellmann and Serdar Kadioglu
Dichotomic Search Protocols for Constrained Optimization
Proceedings of the 14th intern. Conference on the Principles and Practice of Constraint Programming (CP), in print, 2008.

Daniel Heller, Aurojit Panda, Meinolf Sellmann, Justin Yip
Model Restarts for Structural Symmetry Breaking
Proceedings of the 14th intern. Conference on the Principles and Practice of Constraint Programming (CP), in print, 2008.

Yuri Malitsky, Meinolf Sellmann, Willem-Jan van Hoeve
Length-Lex Bounds Consistency for Knapsack Constraints
Proceedings of the 14th intern. Conference on the Principles and Practice of Constraint Programming (CP), in print, 2008.

Serdar Kadioglu and Meinolf Sellmann
Efficient Context-Free Grammar Constraints
AAAI, 2008.

Daniel Leventhal and Meinolf Sellmann
The Accuracy of Search Heuristics
Proceedings the Fifth International Conference on the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR), Springer LNCS 5015, pp. 142-157, 2008.

Meinolf Sellmann
The Polytope of Tree-Structured Binary Constraint Satisfaction Problems
Proceedings the Fifth International Conference on the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR), Springer LNCS 5015, pp. 367-371, 2008.

Meinolf Sellmann
Approximated Consistency for the Automatic Recording Constraint
Computers and Operations Research. To appear.

Irit Katriel, Meinolf Sellmann, Eli Upfal, Pascal Van Hentenryck
Propagating Knapsack Constraints in Sublinear Time
AAAI, 2007.

Meinolf Sellmann, Thorsten Gellermann, Robert Wright
Cost-Based Filtering for Shorter Path Constraints
Constraints. Vol. 12(2), pp. 207-238, 2007.

Meinolf Sellmann
The Theory of Grammar Constraints
Proceedings of the 12th intern. Conference on the Principles and Practice of Constraint Programming (CP), Springer LNCS 4204, pp. 530-544, 2006.

Daniel Heller and Meinolf Sellmann
Dynamic Symmetry Breaking Restarted
Proceedings of the 12th intern. Conference on the Principles and Practice of Constraint Programming (CP), Springer LNCS 4204, pp. 721-725, 2006.

Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck
Static and Dynamic Structural Symmetry Breaking
Proceedings of the 12th intern. Conference on the Principles and Practice of Constraint Programming (CP), Springer LNCS 4204, pp. 695-699, 2006.

Meinolf Sellmann and Carlos Ansotegui
Disco - Novo - GoGo: Integrating Local Search and Complete Search with Restarts
Proceedings of the 21st National Conference on Artificial Intelligence (AAAI), pp. 1051-1056, 2006.

Ionut Aron, Daniel Leventhal, Meinolf Sellmann
A Totally Unimodular Description of the Consistent Value Polytope for Binary CSPs
Proceedings the Third International Conference on the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR), Springer LNCS 3990, pp. 16-28, 2006.

Meinolf Sellmann
Approximated Consistency for the Automatic Recording Constraint
Proceedings of the 11th intern. Conference on the Principles and Practice of Constraint Programming (CP), Springer LNCS 3709, pp. 822-826, 2005.

Meinolf Sellmann and Pascal Van Hentenryck
Structural Symmetry Breaking
Nineteenth International Joint Conference on Artificial Intelligence (IJCAI), 2005.

Thorsten Gellermann, Meinolf Sellmann, Robert Wright
Shorter Path Constraints for the Resource Constrained Shortest Path Problem
Proceedings the Second International Conference on the Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems (CPAIOR), Springer LNCS 3524, pp. 201-216, 2005.