SATzilla: Portfolio-based Algorithm Selection for SAT

31 October 2011

Holger H. Hoos

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

49 / 49 papers shown

Title
Equilibria in multiagent online problems with predictions Gabriel Istrate C. Bonchis Victor Bogdan 33 2 0 20 May 2024
Frugal Algorithm Selection Erdem Kus Ozgur Akgun Nguyen Dang Ian Miguel 21 0 0 17 May 2024
Lightweight Online Learning for Sets of Related Problems in Automated Reasoning Haoze Wu Christopher Hahn Florian Lonsing Makai Mann R. Ramanujan Clark W. Barrett OffRL LRM 34 1 0 18 May 2023
First Three Years of the International Verification of Neural Networks Competition (VNN-COMP) Christopher Brix Mark Niklas Muller Stanley Bak Taylor T. Johnson Changliu Liu NAI 30 66 0 14 Jan 2023
What Can Transformers Learn In-Context? A Case Study of Simple Function Classes Shivam Garg Dimitris Tsipras Percy Liang Gregory Valiant 29 451 0 01 Aug 2022
On the Generalizability and Predictability of Recommender Systems Duncan C. McElfresh Sujay Khandagale Jonathan Valverde John P. Dickerson Colin White 41 10 0 23 Jun 2022
A portfolio-based analysis method for competition results Nguyen Dang 16 1 0 30 May 2022
Automated Dynamic Algorithm Configuration Steven Adriaensen André Biedenkapp Gresa Shala Noor H. Awad Theresa Eimer Marius Lindauer Frank Hutter 32 36 0 27 May 2022
Formalizing Preferences Over Runtime Distributions Devon R. Graham Kevin Leyton-Brown Tim Roughgarden 14 5 0 25 May 2022
SATfeatPy -- A Python-based Feature Extraction System for Satisfiability Benjamin Provan-Bessell Marco Dalla Andrea Visentin Barry O'Sullivan 11 1 0 29 Apr 2022
On the Configuration of More and Less Expressive Logic Programs Carmine Dodaro Marco Maratea Mauro Vallati 17 1 0 02 Mar 2022
A Survey of Methods for Automated Algorithm Configuration Elias Schede Jasmin Brandt Alexander Tornede Marcel Wever Viktor Bengs Eyke Hüllermeier Kevin Tierney 19 48 0 03 Feb 2022
Parallel Logic Programming: A Sequel A. Dovier Andrea Formisano G. Gupta M. Hermenegildo Enrico Pontelli Ricardo Rocha LRM 22 10 0 22 Nov 2021
Hyperparameter Optimization: Foundations, Algorithms, Best Practices and Open Challenges B. Bischl Martin Binder Michel Lang Tobias Pielok Jakob Richter ... Theresa Ullmann Marc Becker A. Boulesteix Difan Deng Marius Lindauer 82 448 0 13 Jul 2021
Partition Function Estimation: A Quantitative Study Durgesh Kumar Agrawal Yash Pote Kuldeep S. Meel 28 11 0 24 May 2021
QROSS: QUBO Relaxation Parameter Optimisation via Learning Solver Surrogates Tian Huang Siong Thye Goh Sabrish Gopalakrishnan Tao Luo Qianxiao Li H. Lau 20 5 0 19 Mar 2021
Bayes DistNet -- A Robust Neural Network for Algorithm Runtime Distribution Predictions Jake E. Tuero M. Buro OOD 8 0 0 14 Dec 2020
Collaborative Management of Benchmark Instances and their Attributes M. Iser Luca Springer C. Sinz 11 1 0 07 Sep 2020
Anomaly detection in Context-aware Feature Models J. Mauro 11 4 0 28 Jul 2020
Landscape-Aware Fixed-Budget Performance Regression and Algorithm Selection for Modular CMA-ES Variants Anja Jankovic Carola Doerr 14 38 0 17 Jun 2020
Extreme Algorithm Selection With Dyadic Feature Representation Alexander Tornede Marcel Wever Eyke Hüllermeier 16 22 0 29 Jan 2020
Optimal Decision Trees for the Algorithm Selection Problem: Integer Programming Based Approaches Matheus G. Vilas Boas H. Santos L. Merschmann G. V. Berghe 13 18 0 03 Jul 2019
Algorithmically generating new algebraic features of polynomial systems for machine learning Dorian Florescu Matthew England 14 19 0 03 Jun 2019
Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement Learning Gil Lederman M. Rabe Edward A. Lee S. Seshia 13 38 0 20 Jul 2018
Boosting Combinatorial Problem Modeling with Machine Learning M. Lombardi M. Milano AI4CE 18 65 0 15 Jul 2018
$ML + FV = $\heartsuit$? A Survey on the Application of Machine Learning to Formal Verification$ ML + FV = $\heartsuit$ ? A Survey on the Application of Machine Learning to Formal Verification Moussa Amrani L. Lucio Adrien Bibal 28 5 0 10 Jun 2018
A Review of Literature on Parallel Constraint Solving Ian P. Gent Ciaran McCreesh Ian Miguel Neil C. A. Moore Peter William Nightingale P. Prosser Chris Unsworth 13 19 0 29 Mar 2018
Meta-QSAR: a large-scale application of meta-learning to drug design and discovery I. Olier Noureddin M. Sadawi G. R. Bickerton Joaquin Vanschoren C. Grosan Larisa B. Soldatova R. King 6 73 0 12 Sep 2017
Relating Complexity-theoretic Parameters with SAT Solver Performance Edward Zulkoski Ruben Martins C. Wintersteiger Robert Robere J. Liang Krzysztof Czarnecki Vijay Ganesh 16 4 0 26 Jun 2017
Pitfalls and Best Practices in Algorithm Configuration Katharina Eggensperger Marius Lindauer Frank Hutter 18 62 0 17 May 2017
Truth and Regret in Online Scheduling Shuchi Chawla Nikhil R. Devanur Janardhan Kulkarni Rad Niazadeh 19 13 0 01 Mar 2017
Predicting SMT Solver Performance for Software Verification Andrew Healy Rosemary Monahan James F. Power 13 15 0 30 Jan 2017
A case study of algorithm selection for the traveling thief problem Markus Wagner Marius Lindauer Mustafa Misir Samadhi Nallaperuma Frank Hutter 13 65 0 02 Sep 2016
Parallel Strategies Selection A. Palmieri Jean-Charles Régin P. Schaus 14 17 0 21 Apr 2016
Solving MaxSAT by Successive Calls to a SAT Solver M. E. Halaby LRM ReLM ReCod 11 3 0 11 Mar 2016
A PAC Approach to Application-Specific Algorithm Selection Rishi Gupta Tim Roughgarden 28 116 0 23 Nov 2015
Feature-Based Diversity Optimization for Problem Instance Classification Wanru Gao Samadhi Nallaperuma Frank Neumann 11 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 17 18 0 12 Oct 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 21 220 0 08 Jun 2015
Short Portfolio Training for CSP Solving Mirko Stojadinovic Mladen Nikolic Filip Marić 22 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 23 80 0 05 May 2015
A Multicore Tool for Constraint Solving R. Amadini M. Gabbrielli J. Mauro 21 42 0 13 Feb 2015
Using Volunteer Computing for Mounting SAT-based Cryptographic Attacks A. Semenov O. Zaikin I. Otpuschennikov 29 0 0 20 Nov 2014
Transformation-based Feature Computation for Algorithm Portfolios B. Hurley Serdar Kadioğlu Y. Malitsky Barry O'Sullivan 32 1 0 10 Jan 2014
MaLeS: A Framework for Automatic Tuning of Automated Theorem Provers D. Kühlwein Josef Urban 40 22 0 09 Aug 2013
Algorithm Runtime Prediction: Methods & Evaluation Frank Hutter Lin Xu Holger H. Hoos Kevin Leyton-Brown 33 418 0 05 Nov 2012
Evolved preambles for MAX-SAT heuristics Luis Otavio Rigo Junior V. Barbosa LRM 47 0 0 18 Feb 2011
Measuring Similarity of Graphs and their Nodes by Neighbor Matching Mladen Nikolic 44 3 0 27 Sep 2010
Using machine learning to make constraint solver implementation decisions Lars Kotthoff Ian P. Gent Ian Miguel AI4CE 53 0 0 19 May 2010