SATzilla: Portfolio-based Algorithm Selection for SAT

31 October 2011

Holger H. Hoos

Papers citing "SATzilla: Portfolio-based Algorithm Selection for SAT"

50 / 150 papers shown

Title
Predicting Rankings of Software Verification Competitions Mike Czech Eyke Hüllermeier Marie-Christine Jakobs Heike Wehrheim 18 1 0 02 Mar 2017
Truth and Regret in Online Scheduling Shuchi Chawla Nikhil R. Devanur Janardhan Kulkarni Rad Niazadeh 43 13 0 01 Mar 2017
Reinforcement Learning Algorithm Selection Romain Laroche Raphael Feraud OffRL 95 8 0 30 Jan 2017
Predicting SMT Solver Performance for Software Verification Andrew Healy Rosemary Monahan James F. Power 67 15 0 30 Jan 2017
Learning-Theoretic Foundations of Algorithm Configuration for Combinatorial Partitioning Problems Maria-Florina Balcan Vaishnavh Nagarajan Ellen Vitercik Colin White 94 61 0 14 Nov 2016
A case study of algorithm selection for the traveling thief problem Markus Wagner Marius Lindauer Mustafa Misir Samadhi Nallaperuma Frank Hutter 71 66 0 02 Sep 2016
Automatically Reinforcing a Game AI D. St-Pierre Jean-Baptiste Hoock Jialin Liu F. Teytaud O. Teytaud 44 2 0 27 Jul 2016
Structured Factored Inference: A Framework for Automated Reasoning in Probabilistic Programming Languages Avi Pfeffer Brian E. Ruttenberg William Kretschmer LRM 42 4 0 10 Jun 2016
Elastic Solver: Balancing Solution Time and Energy Consumption B. Hurley D. Mehta Barry O'Sullivan 35 3 0 23 May 2016
Parallel Strategies Selection A. Palmieri Jean-Charles Régin P. Schaus 37 17 0 21 Apr 2016
Solving MaxSAT by Successive Calls to a SAT Solver M. E. Halaby LRM ReLM ReCod 38 3 0 11 Mar 2016
A PAC Approach to Application-Specific Algorithm Selection Rishi Gupta Tim Roughgarden 103 118 0 23 Nov 2015
Automatically selecting inference algorithms for discrete energy minimisation Paul Henderson V. Ferrari 42 2 0 19 Nov 2015
ICON Challenge on Algorithm Selection Lars Kotthoff 47 20 0 12 Nov 2015
Feature-Based Diversity Optimization for Problem Instance Classification Wanru Gao Samadhi Nallaperuma Frank Neumann 85 55 0 29 Oct 2015
The Inductive Constraint Programming Loop C. Bessiere Luc de Raedt Tias Guns Lars Kotthoff M. Nanni Siegfried Nijssen Barry O'Sullivan Anastasia Paparrizou D. Pedreschi Helmut Simonis 67 18 0 12 Oct 2015
Partitioning Uncertain Workflows Bernardo A. Huberman Freddy Chongtat Chua 32 1 0 01 Jul 2015
ASlib: A Benchmark Library for Algorithm Selection B. Bischl P. Kerschke Lars Kotthoff Marius Lindauer Y. Malitsky ... Holger Hoos Frank Hutter Kevin Leyton-Brown Kevin Tierney Joaquin Vanschoren 100 221 0 08 Jun 2015
Short Portfolio Training for CSP Solving Mirko Stojadinovic Mladen Nikolic Filip Marić 41 4 0 08 May 2015
The Configurable SAT Solver Challenge (CSSC) Frank Hutter Marius Lindauer A. Balint Sam Bayless Holger Hoos Kevin Leyton-Brown LRM 96 80 0 05 May 2015
A Multicore Tool for Constraint Solving R. Amadini M. Gabbrielli J. Mauro 77 42 0 13 Feb 2015
Using Volunteer Computing for Mounting SAT-based Cryptographic Attacks A. Semenov O. Zaikin I. Otpuschennikov 41 0 0 20 Nov 2014
claspfolio 2: Advances in Algorithm Selection for Answer Set Programming Holger Hoos Marius Lindauer Torsten Schaub 104 85 0 07 May 2014
The Multi-engine ASP Solver ME-ASP: Progress Report Marco Maratea Luca Pulina Francesco Ricca 26 2 0 05 May 2014
Venture: a higher-order probabilistic programming platform with programmable inference Vikash K. Mansinghka Daniel Selsam Yura N. Perov 109 256 0 01 Apr 2014
Concurrent Cube-and-Conquer P. Tak Marijn J. H. Heule Armin Biere 25 9 0 18 Feb 2014
A Constraint Satisfaction Framework for Executing Perceptions and Actions in Diagrammatic Reasoning Bonny Banerjee B. Chandrasekaran 56 10 0 16 Jan 2014
ParamILS: An Automatic Algorithm Configuration Framework Frank Hutter Thomas Stuetzle Kevin Leyton-Brown T. Stützle 105 1,066 0 15 Jan 2014
Relaxed Survey Propagation for The Weighted Maximum Satisfiability Problem Hai Leong Chieu Wee Sun Lee 75 54 0 15 Jan 2014
Transformation-based Feature Computation for Algorithm Portfolios B. Hurley Serdar Kadioğlu Y. Malitsky Barry O'Sullivan 45 1 0 10 Jan 2014
Solver Scheduling via Answer Set Programming Holger Hoos Roland Kaminski Marius Lindauer Torsten Schaub 122 43 0 06 Jan 2014
Ranking Algorithms by Performance Lars Kotthoff 55 5 0 18 Nov 2013
The Fractal Dimension of SAT Formulas Carlos Ansótegui Maria Luisa Bonet Jesús Giráldez-Cru Jordi Levy 34 35 0 23 Aug 2013
MaLeS: A Framework for Automatic Tuning of Automated Theorem Provers D. Kühlwein Josef Urban 133 22 0 09 Aug 2013
DASH: Dynamic Approach for Switching Heuristics G. D. Liberto Serdar Kadioğlu Kevin Leo Y. Malitsky 69 58 0 17 Jul 2013
Proteus: A Hierarchical Portfolio of Solvers and Transformations B. Hurley Lars Kotthoff Y. Malitsky Barry O'Sullivan 140 67 0 24 Jun 2013
A Multi-Engine Approach to Answer Set Programming Marco Maratea Luca Pulina Francesco Ricca 90 77 0 20 Jun 2013
LLAMA: Leveraging Learning to Automatically Manage Algorithms Lars Kotthoff 164 42 0 05 Jun 2013
Algorithm Runtime Prediction: Methods & Evaluation Frank Hutter Lin Xu Holger H. Hoos Kevin Leyton-Brown 169 419 0 05 Nov 2012
Algorithm Selection for Combinatorial Search Problems: A Survey Lars Kotthoff 120 373 0 30 Oct 2012
A Case Study in Complexity Estimation: Towards Parallel Branch-and-Bound over Graphical Models L. Otten R. Dechter TPM 55 13 0 16 Oct 2012
Modelling Constraint Solver Architecture Design as a Constraint Problem Ian P. Gent Christopher Jefferson Lars Kotthoff Ian Miguel 54 1 0 28 Oct 2011
Reliability of Computational Experiments on Virtualised Hardware Ian P. Gent Lars Kotthoff 77 10 0 28 Oct 2011
Simple Algorithm Portfolio for SAT Mladen Nikolic Filip Marić Predrag Janičić 104 38 0 01 Jul 2011
Evolved preambles for MAX-SAT heuristics Luis Otavio Rigo Junior V. Barbosa LRM 71 0 0 18 Feb 2011
URSA: A System for Uniform Reduction to SAT Predrag Janičić 88 18 0 06 Dec 2010
Measuring Similarity of Graphs and their Nodes by Neighbor Matching Mladen Nikolic 70 3 0 27 Sep 2010
Machine learning for constraint solver design -- A case study for the alldifferent constraint Ian P. Gent Lars Kotthoff Ian Miguel Peter William Nightingale AI4CE 106 13 0 25 Aug 2010
Using machine learning to make constraint solver implementation decisions Lars Kotthoff Ian P. Gent Ian Miguel AI4CE 73 0 0 19 May 2010
Restart Strategy Selection using Machine Learning Techniques Shai Haim T. Walsh 134 45 0 29 Jul 2009