Skip to content

Meinolf Sellmann

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

63

Venues

10

Active years

1999–2022

Best venue rank

A*

Where they publish

Papers

63 indexed papers, newest first.

YearVenueTitleAuthors
2022ICMLACost-sensitive Hierarchical Clustering for Dynamic Classifier Selection.Meinolf Sellmann, Tapan Shah
2021SATPyDGGA: Distributed GGA for Automatic Configuration.Carlos Anstegui, Josep Pon, Meinolf Sellmann, Kevin Tierney
2020AIEmpirical Confidence Models for Supervised Machine Learning.Margarita P. Castro, Meinolf Sellmann, Zhaoyuan Yang, Nurali Virani
2019AAAIConsensual Affine Transformations for Partial Valuation Aggregation.Hermann Schichl, Meinolf Sellmann
2019CPExploiting Counterfactuals for Scalable Stochastic Optimization.Stefan Kuhlemann, Meinolf Sellmann, Kevin Tierney
2018CPSelf-configuring Cost-Sensitive Hierarchical Clustering with Recourse.Carlos Anstegui, Meinolf Sellmann, Kevin Tierney
2017AAAIReactive Dialectic Search Portfolios for MaxSAT.Carlos Anstegui, Josep Pon, Meinolf Sellmann, Kevin Tierney
2015AAAIPredisaster Preparation of Transportation Networks.Hermann Schichl, Meinolf Sellmann
2015IJCAIModel-Based Genetic Algorithms for Algorithm Configuration.Carlos Anstegui, Yuri Malitsky, Horst Samulowitz, Meinolf Sellmann, Kevin Tierney
2014AAAIMaxSAT by Improved Instance-Specific Algorithm Configuration.Carlos Anstegui, Yuri Malitsky, Meinolf Sellmann
2014AAAIParallel Restarted Search.Andr A. Cir, Serdar Kadioglu, Meinolf Sellmann
2013IJCAIAlgorithm Portfolios Based on Cost-Sensitive Hierarchical Clustering.Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
2013SATSnappy: A Simple Algorithm Portfolio.Horst Samulowitz, Chandra Reddy, Ashish Sabharwal, Meinolf Sellmann
2012AAAINon-Model-Based Search Guidance for Set Partitioning Problems.Serdar Kadioglu, Yuri Malitsky, Meinolf Sellmann
2012CPParallel SAT Solver Selection and Scheduling.Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
2012CPAIORInstance-Specific Algorithm Configuration as a Method for Non-Model-Based Portfolio Generation.Yuri Malitsky, Meinolf Sellmann
2012SATLearning Back-Clauses in SAT - (Poster Presentation).Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
2011AAAIA General Nogood-Learning Framework for Pseudo-Boolean Multi-Valued SAT.Siddhartha Jain, Ashish Sabharwal, Meinolf Sellmann
2011CPAlgorithm Selection and Scheduling.Serdar Kadioglu, Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
2011CPIncorporating Variance in Impact-Based Search.Serdar Kadioglu, Eoin O'Mahony, Philippe Refalo, Meinolf Sellmann
2011SATNon-Model-Based Algorithm Portfolios for SAT.Yuri Malitsky, Ashish Sabharwal, Horst Samulowitz, Meinolf Sellmann
2010AAAIFiltering Bounded Knapsack Constraints in Expected Sublinear Time.Yuri Malitsky, Meinolf Sellmann, Radoslaw Szymanek
2010CPA Complete Multi-valued SAT Solver.Siddhartha Jain, Eoin O'Mahony, Meinolf Sellmann
2010CPAIORUpper Bounds on the Number of Solutions of Binary Integer Programs.Siddhartha Jain, Serdar Kadioglu, Meinolf Sellmann
2010ECAIISAC - Instance-Specific Algorithm Configuration.Serdar Kadioglu, Yuri Malitsky, Meinolf Sellmann, Kevin Tierney
2009CPA Gender-Based Genetic Algorithm for the Automatic Configuration of Algorithms.Carlos Anstegui, Meinolf Sellmann, Kevin Tierney
2009CPSame-Relation Constraints.Christopher Jefferson, Serdar Kadioglu, Karen E. Petrie, Meinolf Sellmann, Stanislav Zivn
2009CPDialectic Search.Serdar Kadioglu, Meinolf Sellmann
2009CPOn Decomposing Knapsack Constraints for Length-Lex Bounds Consistency.Meinolf Sellmann
2009CPAIORBackdoors to Combinatorial Optimization: Feasibility and Optimality.Bistra Dilkina, Carla P. Gomes, Yuri Malitsky, Ashish Sabharwal, Meinolf Sellmann
2009CPAIORThe Polytope of Context-Free Grammar Constraints.Gilles Pesant, Claude-Guy Quimper, Louis-Martin Rousseau, Meinolf Sellmann
2009ICTAIEnhanced Inference for the Market Split Problem.Tarik Hadzic, Eoin O'Mahony, Barry O'Sullivan, Meinolf Sellmann
2009ICTAIStochastic Offline Programming.Yuri Malitsky, Meinolf Sellmann
2008AAAIEfficient Context-Free Grammar Constraints.Serdar Kadioglu, Meinolf Sellmann
2008CPModel Restarts for Structural Symmetry Breaking.Daniel S. Heller, Aurojit Panda, Meinolf Sellmann, Justin Yip
2008CPLength-Lex Bounds Consistency for Knapsack Constraints.Yuri Malitsky, Meinolf Sellmann, Willem Jan van Hoeve
2008CPDichotomic Search Protocols for Constrained Optimization.Meinolf Sellmann, Serdar Kadioglu
2008CPAIORThe Accuracy of Search Heuristics: An Empirical Study on Knapsack Problems.Daniel H. Leventhal, Meinolf Sellmann
2008CPAIORThe Polytope of Tree-Structured Binary Constraint Satisfaction Problems.Meinolf Sellmann
2007AAAIPropagating Knapsack Constraints in Sublinear Time.Irit Katriel, Meinolf Sellmann, Eli Upfal, Pascal Van Hentenryck
2007CPAIORThe Linear Programming Polytope of Binary Constraint Problems with Bounded Tree-Width.Meinolf Sellmann, Luc Mercier, Daniel H. Leventhal
2006AAAIDisco - Novo - GoGo: Integrating Local Search and Complete Search with Restarts.Meinolf Sellmann, Carlos Anstegui
2006CPStatic and Dynamic Structural Symmetry Breaking.Pierre Flener, Justin Pearson, Meinolf Sellmann, Pascal Van Hentenryck
2006CPDynamic Symmetry Breaking Restarted.Daniel S. Heller, Meinolf Sellmann
2006CPThe Theory of Grammar Constraints.Meinolf Sellmann
2006CPAIORA Totally Unimodular Description of the Consistent Value Polytope for Binary Constraint Programming.Ionut D. Aron, Daniel H. Leventhal, Meinolf Sellmann
2006CPAIORPlan B: Uncertainty/Time Trade-Offs for Linear and Integer Programming.Claire Kenyon, Meinolf Sellmann
2005CPApproximated Consistency for the Automatic Recording Problem.Meinolf Sellmann
2005CPAIORShorter Path Constraints for the Resource Constrained Shortest Path Problem.Thorsten Gellermann, Meinolf Sellmann, Robert Wright
2005IJCAIStructural Symmetry Breaking.Meinolf Sellmann, Pascal Van Hentenryck
2004AAAIThe Practice of Approximated Consistency for Knapsack Constraints.Meinolf Sellmann
2004CPStreamlined Constraint Reasoning.Carla P. Gomes, Meinolf Sellmann
2004CPTheoretical Foundations of CP-Based Lagrangian Relaxation.Meinolf Sellmann
2004CPAIORThe Challenge of Generating Spatially Balanced Scientific Experiment Designs.Carla P. Gomes, Meinolf Sellmann, Cindy van Es, Harold van Es
2003CPApproximated Consistency for Knapsack Constraints.Meinolf Sellmann
2003CPCost-Based Filtering for Shorter Path Constraints.Meinolf Sellmann
2003ESAMulticommodity Flow Approximation Used for Exact Graph Partitioning.Meinolf Sellmann, Norbert Sensen, Larissa Timajev
2002CPAn Arc-Consistency Algorithm for the Minimum Weight All Different Constraint.Meinolf Sellmann
2002CPHeuristic Constraint Propagation.Meinolf Sellmann, Warwick Harvey
2002ESALagrangian Cardinality Cuts and Variable Fixing for Capacitated Network Design.Meinolf Sellmann, Georg Kliewer, Achim Koberstein
2001CPSymmetry Breaking.Torsten Fahle, Stefan Schamberger, Meinolf Sellmann
2001ESACoupling Variable Fixing Algorithms for the Automatic Recording Problem.Meinolf Sellmann, Torsten Fahle
1999CPA Framework for Constraint Programming Based Column Generation.Ulrich Junker, Stefan E. Karisch, Niklas Kohl, Bo Vaaben, Torsten Fahle, Meinolf Sellmann