| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Yuri Malitsky, Meinolf Sellmann |
Instance-Specific Algorithm Configuration as a Method for Non-Model-Based Portfolio Generation.  |
CPAIOR  |
2012 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann |
Non-Model-Based Algorithm Portfolios for SAT. |
SAT |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Siddhartha Jain, Ashish Sabharwal, Meinolf Sellmann |
A General Nogood-Learning Framework for Pseudo-Boolean Multi-Valued SAT. |
AAAI |
2011 |
DBLP BibTeX RDF |
|
| 1 | Serdar Kadioglu, Eoin O'Mahony, Philippe Refalo, Meinolf Sellmann |
Incorporating Variance in Impact-Based Search. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Serdar Kadioglu, Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann |
Algorithm Selection and Scheduling. |
CP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Malitsky, Meinolf Sellmann |
Stochastic Offline Programming. |
International Journal on Artificial Intelligence Tools |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Serdar Kadioglu, Meinolf Sellmann |
Grammar constraints. |
Constraints |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Serdar Kadioglu, Yuri Malitsky, Meinolf Sellmann, Kevin Tierney |
ISAC - Instance-Specific Algorithm Configuration. |
ECAI |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Siddhartha Jain, Serdar Kadioglu, Meinolf Sellmann |
Upper Bounds on the Number of Solutions of Binary Integer Programs. |
CPAIOR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Malitsky, Meinolf Sellmann, Radoslaw Szymanek |
Filtering Bounded Knapsack Constraints in Expected Sublinear Time. |
AAAI |
2010 |
DBLP BibTeX RDF |
|
| 1 | Siddhartha Jain, Eoin O'Mahony, Meinolf Sellmann |
A Complete Multi-valued SAT Solver. |
CP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck, Magnus Ågren |
Dynamic structural symmetry breaking for constraint satisfaction problems. |
Constraints |
2009 |
DBLP DOI BibTeX RDF |
Dominance detection, CSP, Tractability, Symmetry breaking |
| 1 | Meinolf Sellmann |
Approximated consistency for the automatic recording constraint. |
Computers & OR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Pesant, Meinolf Sellmann, Bernard Gendron |
Special issue on constraint programming. |
Computers & OR |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Flener, Justin Pearson, Meinolf Sellmann |
Static and dynamic structural symmetry breaking. |
Ann. Math. Artif. Intell. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Gilles Pesant, Claude-Guy Quimper, Louis-Martin Rousseau, Meinolf Sellmann |
The Polytope of Context-Free Grammar Constraints. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
grammar constraints, polytope |
| 1 | Bistra N. Dilkina, Carla P. Gomes, Yuri Malitsky, Ashish Sabharwal, Meinolf Sellmann |
Backdoors to Combinatorial Optimization: Feasibility and Optimality. |
CPAIOR |
2009 |
DBLP DOI BibTeX RDF |
backdoor sets, search, variable selection |
| 1 | Tarik Hadzic, Eoin O'Mahony, Barry O'Sullivan, Meinolf Sellmann |
Enhanced Inference for the Market Split Problem. |
ICTAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Malitsky, Meinolf Sellmann |
Stochastic Offline Programming. |
ICTAI |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Carlos Ansótegui, Meinolf Sellmann, Kevin Tierney |
A Gender-Based Genetic Algorithm for the Automatic Configuration of Algorithms. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Serdar Kadioglu, Meinolf Sellmann |
Dialectic Search. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Christopher Jefferson, Serdar Kadioglu, Karen E. Petrie, Meinolf Sellmann, Stanislav Zivny |
Same-Relation Constraints. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Meinolf Sellmann |
On Decomposing Knapsack Constraints for Length-Lex Bounds Consistency. |
CP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Meinolf Sellmann |
The Polytope of Tree-Structured Binary Constraint Satisfaction Problems. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Daniel H. Leventhal, Meinolf Sellmann |
The Accuracy of Search Heuristics: An Empirical Study on Knapsack Problems. |
CPAIOR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Serdar Kadioglu, Meinolf Sellmann |
Efficient Context-Free Grammar Constraints. |
AAAI |
2008 |
DBLP BibTeX RDF |
|
| 1 | Daniel S. Heller, Aurojit Panda, Meinolf Sellmann, Justin Yip |
Model Restarts for Structural Symmetry Breaking. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Meinolf Sellmann, Serdar Kadioglu |
Dichotomic Search Protocols for Constrained Optimization. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuri Malitsky, Meinolf Sellmann, Willem Jan van Hoeve |
Length-Lex Bounds Consistency for Knapsack Constraints. |
CP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Meinolf Sellmann, Thorsten Gellermann, Robert Wright |
Cost-based Filtering for Shorter Path Constraints. |
Constraints |
2007 |
DBLP DOI BibTeX RDF |
Global constraints, Optimization constraints, Relaxed consistency, Constrained shortest paths, Problem reduction |
| 1 | Meinolf Sellmann, Luc Mercier, Daniel H. Leventhal |
The Linear Programming Polytope of Binary Constraint Problems with Bounded Tree-Width. |
CPAIOR |
2007 |
DBLP DOI BibTeX RDF |
integer programming, constraint programming, cutting planes, polyhedral combinatorics |
| 1 | Irit Katriel, Meinolf Sellmann, Eli Upfal, Pascal Van Hentenryck |
Propagating Knapsack Constraints in Sublinear Time. |
AAAI |
2007 |
DBLP BibTeX RDF |
|
| 1 | Claire Kenyon, Meinolf Sellmann |
Plan B: Uncertainty/Time Trade-Offs for Linear and Integer Programming. |
CPAIOR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Ionut D. Aron, Daniel H. Leventhal, Meinolf Sellmann |
A Totally Unimodular Description of the Consistent Value Polytope for Binary Constraint Programming. |
CPAIOR |
2006 |
DBLP DOI BibTeX RDF |
mathematical programming, hybrid methods, Cost-based filtering |
| 1 | Meinolf Sellmann, Carlos Ansótegui |
Disco - Novo - GoGo: Integrating Local Search and Complete Search with Restarts. |
AAAI |
2006 |
DBLP BibTeX RDF |
|
| 1 | Daniel S. Heller, Meinolf Sellmann |
Dynamic Symmetry Breaking Restarted. |
CP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck |
Static and Dynamic Structural Symmetry Breaking. |
CP |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Meinolf Sellmann |
The Theory of Grammar Constraints. |
CP |
2006 |
DBLP DOI BibTeX RDF |
regular grammar constraints, context-free grammar constraints, constraint filtering, global constraints |
| 1 | Meinolf Sellmann, Pascal Van Hentenryck |
Structural Symmetry Breaking. |
IJCAI |
2005 |
DBLP BibTeX RDF |
|
| 1 | Thorsten Gellermann, Meinolf Sellmann, Robert Wright |
Shorter Path Constraints for the Resource Constrained Shortest Path Problem. |
CPAIOR |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Meinolf Sellmann |
Approximated Consistency for the Automatic Recording Problem. |
CP |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Carla P. Gomes, Meinolf Sellmann, Cindy van Es, Harold van Es |
The Challenge of Generating Spatially Balanced Scientific Experiment Designs. |
CPAIOR |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Meinolf Sellmann |
The Practice of Approximated Consistency for Knapsack Constraints. |
AAAI |
2004 |
DBLP BibTeX RDF |
|
| 1 | Carla P. Gomes, Meinolf Sellmann |
Streamlined Constraint Reasoning. |
CP |
2004 |
DBLP DOI BibTeX RDF |
branching strategies, search, constraint reasoning |
| 1 | Meinolf Sellmann |
Theoretical Foundations of CP-Based Lagrangian Relaxation. |
CP |
2004 |
DBLP DOI BibTeX RDF |
optimization constraints, relaxed consistency, cost-based filtering |
| 1 | Meinolf Sellmann, Torsten Fahle |
Constraint Programming Based Lagrangian Relaxation for the Automatic Recording Problem. |
Annals OR |
2003 |
DBLP DOI BibTeX RDF |
maximum weighted stable set constraint, knapsack constraint, Lagrangian relaxation, optimization constraint |
| 1 | Meinolf Sellmann, Norbert Sensen, Larissa Timajev |
Multicommodity Flow Approximation Used for Exact Graph Partitioning. |
ESA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Meinolf Sellmann |
Cost-Based Filtering for Shorter Path Constraints. |
CP |
2003 |
DBLP DOI BibTeX RDF |
optimization constraints, relaxed consistency, constrained shortest paths, problem reduction |
| 1 | Meinolf Sellmann |
Approximated Consistency for Knapsack Constraints. |
CP |
2003 |
DBLP DOI BibTeX RDF |
approximation algorithms, global constraints, optimization constraints, relaxed consistency, cost-based filtering |
| 1 | Torsten Fahle, Ulrich Junker, Stefan E. Karisch, Niklas Kohl, Meinolf Sellmann, Bo Vaaben |
Constraint Programming Based Column Generation for Crew Assignment. |
J. Heuristics |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Torsten Fahle, Meinolf Sellmann |
Cost Based Filtering for the Constrained Knapsack Problem. |
Annals OR |
2002 |
DBLP DOI BibTeX RDF |
constrained knapsack problems, constraint programming, optimization constraints, cost based filtering, reduction algorithms |
| 1 | Meinolf Sellmann, Kyriakos Zervoudakis, Panagiotis Stamatopoulos, Torsten Fahle |
Crew Assignment via Constraint Programming: Integrating Column Generation and Heuristic Tree Search. |
Annals OR |
2002 |
DBLP DOI BibTeX RDF |
airline crew assignment, hybrid OR-CP method, constraint programming based column generation, set partitioning |
| 1 | Meinolf Sellmann, Georg Kliewer, Achim Koberstein |
Lagrangian Cardinality Cuts and Variable Fixing for Capacitated Network Design. |
ESA |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Meinolf Sellmann |
An Arc-Consistency Algorithm for the Minimum Weight All Different Constraint. |
CP |
2002 |
DBLP BibTeX RDF |
all different constraint, minimum weight all different constraint, MinWeightAllDiff, IlcAllDiffCost, optimization constraint, cost based filtering |
| 1 | Meinolf Sellmann, Warwick Harvey |
Heuristic Constraint Propagation. |
CP |
2002 |
DBLP BibTeX RDF |
redundant constraints, incomplete propagation, social golfer problem, local search |
| 1 | Meinolf Sellmann, Torsten Fahle |
Coupling Variable Fixing Algorithms for the Automatic Recording Problem. |
ESA |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Torsten Fahle, Stefan Schamberger, Meinolf Sellmann |
Symmetry Breaking. |
CP |
2001 |
DBLP DOI BibTeX RDF |
symmetry breaking during search, n-queens problem, golfer problem, graph partitioning |
| 1 | Ulrich Junker, Stefan E. Karisch, Niklas Kohl, Bo Vaaben, Torsten Fahle, Meinolf Sellmann |
A Framework for Constraint Programming Based Column Generation. |
CP |
1999 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")