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
Machine Learning for Electronic Design Automation: A Survey Guyue Huang Jingbo Hu Yifan He Jialong Liu Mingyuan Ma ... Yuzhe Ma Haoyu Yang Bei Yu Huazhong Yang Yu Wang 67 241 0 10 Jan 2021
Generalization in portfolio-based algorithm selection Maria-Florina Balcan Tuomas Sandholm Ellen Vitercik 78 12 0 24 Dec 2020
Instance Space Analysis for the Car Sequencing Problem Yuan Sun Samuel Esler D. Thiruvady Andreas T. Ernst Xiaodong Li K. Morgan 32 3 0 18 Dec 2020
Bayes DistNet -- A Robust Neural Network for Algorithm Runtime Distribution Predictions Jake E. Tuero M. Buro OOD 55 0 0 14 Dec 2020
Metaheuristics "In the Large" J. Swan Steven Adriaensen Alexander E. I. Brownlee K. Hammond Colin G. Johnson ... Pablo García-Sánchez K. Sorensen S. Voß Markus Wagner D. White AIFin AI4CE 57 68 0 19 Nov 2020
Data-driven Algorithm Design Maria-Florina Balcan 37 2 0 14 Nov 2020
Automated Aggregator -- Rewriting with the Counting Aggregate Michael Dingess M. Truszczynski 31 1 0 22 Sep 2020
sunny-as2: Enhancing SUNNY for Algorithm Selection Tong Liu R. Amadini J. Mauro M. Gabbrielli 26 6 0 07 Sep 2020
Collaborative Management of Benchmark Instances and their Attributes M. Iser Luca Springer C. Sinz 25 1 0 07 Sep 2020
Anomaly detection in Context-aware Feature Models J. Mauro 28 4 0 28 Jul 2020
Benchmarking in Optimization: Best Practice and Open Issues Thomas Bartz-Beielstein Carola Doerr Daan van den Berg Jakob Bossek Sowmya Chandrasekaran ... B. Naujoks Patryk Orzechowski Vanessa Volz Markus Wagner T. Weise 138 112 0 07 Jul 2020
Learning Branching Heuristics for Propositional Model Counting Pashootan Vaezipoor Gil Lederman Yuhuai Wu Chris J. Maddison Roger C. Grosse Sanjit A. Seshia F. Bacchus LRM 82 13 0 07 Jul 2020
Siamese Meta-Learning and Algorithm Selection with Álgorithm-Performance Personas' [Proposal] Joeran Beel Bryan Tyrell Eddie Bergman Andrew Collins Shahad Nagoor 28 4 0 22 Jun 2020
Exploratory Landscape Analysis is Strongly Sensitive to the Sampling Strategy Quentin Renau Carola Doerr Johann Dréo Benjamin Doerr 126 60 0 19 Jun 2020
Landscape-Aware Fixed-Budget Performance Regression and Algorithm Selection for Modular CMA-ES Variants Anja Jankovic Carola Doerr 66 38 0 17 Jun 2020
Towards Feature-free TSP Solver Selection: A Deep Learning Approach Kangfei Zhao Shengcai Liu Yu Rong Jianwei Yu 71 2 0 01 Jun 2020
MATE: A Model-based Algorithm Tuning Engine Mohamed El Yafrani M. Martins Inkyung Sung Markus Wagner Carola Doerr Peter Nielsen 70 4 0 27 Apr 2020
Extreme Algorithm Selection With Dyadic Feature Representation Alexander Tornede Marcel Wever Eyke Hüllermeier 61 21 0 29 Jan 2020
From Shallow to Deep Interactions Between Knowledge Representation, Reasoning and Machine Learning (Kay R. Amel group) Zied Bouraoui Antoine Cornuéjols Thierry Denoeux Sebastien Destercke Didier Dubois ... Jérôme Mengin H. Prade Steven Schockaert M. Serrurier Christel Vrain 128 14 0 13 Dec 2019
Improved cross-validation for classifiers that make algorithmic choices to minimise runtime without compromising output correctness Dorian Florescu Matthew England 34 12 0 28 Nov 2019
Can $Q$ -Learning with Graph Networks Learn a Generalizable Branching Heuristic for a SAT Solver? Vitaly Kurin Saad Godil Shimon Whiteson Bryan Catanzaro NAI 76 28 0 26 Sep 2019
Encoding Selection for Solving Hamiltonian Cycle Problems with ASP Liu Liu M. Truszczynski 16 4 0 18 Sep 2019
How much data is sufficient to learn high-performing algorithms? Generalization guarantees for data-driven algorithm design Maria-Florina Balcan Dan F. DeBlasio Travis Dick Carl Kingsford Tuomas Sandholm Ellen Vitercik 79 35 0 08 Aug 2019
Optimal Decision Trees for the Algorithm Selection Problem: Integer Programming Based Approaches Matheus G. Vilas Boas H. Santos L. Merschmann G. V. Berghe 81 18 0 03 Jul 2019
Learning Software Configuration Spaces: A Systematic Literature Review Juliana Alves Pereira Hugo Martin M. Acher J. Jézéquel Goetz Botterweck Anthony Ventresque 66 90 0 07 Jun 2019
Algorithmically generating new algebraic features of polynomial systems for machine learning Dorian Florescu Matthew England 24 19 0 03 Jun 2019
Learning to Optimize Computational Resources: Frugal Training with Generalization Guarantees Maria-Florina Balcan Tuomas Sandholm Ellen Vitercik 70 16 0 26 May 2019
Comparing machine learning models to choose the variable ordering for cylindrical algebraic decomposition Matthew England Dorian Florescu 17 25 0 24 Apr 2019
Algorithm Portfolio for Individual-based Surrogate-Assisted Evolutionary Algorithms Hao Tong Jialin Liu Xin Yao 21 3 0 22 Apr 2019
Semi-bandit Optimization in the Dispersed Setting Maria-Florina Balcan Travis Dick W. Pegden 50 21 0 18 Apr 2019
Guiding High-Performance SAT Solvers with Unsat-Core Predictions Daniel Selsam Nikolaj S. Bjørner NAI 107 122 0 12 Mar 2019
PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers Saeed Amizadeh Sergiy Matusevych Markus Weimer AI4CE 64 20 0 05 Mar 2019
Automated Algorithm Selection: Survey and Perspectives P. Kerschke Holger H. Hoos Frank Neumann Heike Trautmann 77 384 0 28 Nov 2018
Learning Heuristics for Quantified Boolean Formulas through Deep Reinforcement Learning Gil Lederman M. Rabe Edward A. Lee Sanjit A. Seshia 89 38 0 20 Jul 2018
Boosting Combinatorial Problem Modeling with Machine Learning M. Lombardi M. Milano AI4CE 78 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 53 5 0 10 Jun 2018
Evolving Real-Time Heuristics Search Algorithms with Building Blocks M. S. Chowdhury V. Silva 18 0 0 21 May 2018
The Algorithm Selection Competitions 2015 and 2017 Marius Lindauer Jan N. van Rijn Lars Kotthoff 73 38 0 03 May 2018
Automatic Construction of Parallel Portfolios via Explicit Instance Grouping Shengcai Liu K. Tang Xin Yao 79 29 0 17 Apr 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 41 19 0 29 Mar 2018
Evolutionary n-level Hypergraph Partitioning with Adaptive Coarsening R. Preen Jim E. Smith 50 9 0 25 Mar 2018
Learning a SAT Solver from Single-Bit Supervision Daniel Selsam Matthew Lamm Benedikt Bünz Percy Liang L. D. Moura D. Dill NAI 127 426 0 11 Feb 2018
Improve SAT-solving with Machine Learning Haoze Wu 49 16 0 30 Oct 2017
Neural Networks for Predicting Algorithm Runtime Distributions Katharina Eggensperger Marius Lindauer Frank Hutter 46 10 0 22 Sep 2017
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 Ross King 69 77 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 28 4 0 26 Jun 2017
Deep Optimization for Spectrum Repacking N. Newman A. Fréchette Kevin Leyton-Brown 26 34 0 11 Jun 2017
Pitfalls and Best Practices in Algorithm Configuration Katharina Eggensperger Marius Lindauer Frank Hutter 94 63 0 17 May 2017
Efficient Benchmarking of Algorithm Configuration Procedures via Model-Based Surrogates Katharina Eggensperger Marius Lindauer Holger H. Hoos Frank Hutter Kevin Leyton-Brown 54 7 0 30 Mar 2017
Experience-based Optimization: A Coevolutionary Approach Shengcai Liu K. Tang Xin Yao OffRL 58 4 0 29 Mar 2017