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
ORFS-agent: Tool-Using Agents for Chip Design Optimization Amur Ghose Andrew B. Kahng Sayak Kundu Zhiang Wang AI4CE 23 0 0 10 Jun 2025
Greedy Restart Schedules: A Baseline for Dynamic Algorithm Selection on Numerical Black-box Optimization Problems Lennart Schäpermeier 107 0 0 15 Apr 2025
Concept Learning in the Wild: Towards Algorithmic Understanding of Neural Networks Elad Shohama Hadar Cohena Khalil Wattada Havana Rikab Dan Vilenchik 118 1 0 15 Dec 2024
Evolutionary Retrofitting Mathurin Videau M. Zameshina Alessandro Leite Laurent Najman Marc Schoenauer O. Teytaud 98 0 0 15 Oct 2024
Automatic Feature Learning for Essence: a Case Study on Car Sequencing Alessio Pellegrino Ozgur Akgun Nguyen Dang Z. Kiziltan Ian Miguel 68 0 0 23 Sep 2024
Identifying Easy Instances to Improve Efficiency of ML Pipelines for Algorithm-Selection Quentin Renau Emma Hart 92 1 0 24 Jun 2024
Equilibria in multiagent online problems with predictions Gabriel Istrate C. Bonchis Victor Bogdan 90 2 0 20 May 2024
Unlock the Power of Algorithm Features: A Generalization Analysis for Algorithm Selection Xingyu Wu Yan Zhong Jibin Wu Yuxiao Huang Sheng-hao Wu Kay Chen Tan 45 0 0 18 May 2024
Frugal Algorithm Selection Erdem Kus Ozgur Akgun Nguyen Dang Ian Miguel 33 0 0 17 May 2024
GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection Zhanguang Zhang Didier Chetelat Joseph Cotnareanu Amur Ghose Wenyi Xiao Hui-Ling Zhen Yingxue Zhang Jianye Hao Mark Coates Mingxuan Yuan NAI 66 1 0 17 May 2024
Global Benchmark Database Markus Iser Christoph Jabs 34 2 0 16 May 2024
From Large to Small Datasets: Size Generalization for Clustering Algorithm Selection Vaggos Chatziafratis Ishani Karmarkar Ellen Vitercik 34 1 0 22 Feb 2024
Large-scale Benchmarking of Metaphor-based Optimization Heuristics Diederick Vermetten Carola Doerr Hao Wang Anna V. Kononova Thomas Bäck 63 5 0 15 Feb 2024
Using Sequential Runtime Distributions for the Parallel Speedup Prediction of SAT Local Search Alejandro Arbelaez Charlotte Truchet Philippe Codognet 16 11 0 30 Jan 2024
Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD Tereso del Río Matthew England 37 1 0 24 Jan 2024
Large Language Model-Enhanced Algorithm Selection: Towards Comprehensive Algorithm Representation Xingyu Wu Yan Zhong Jibin Wu Bingbing Jiang Kay Chen Tan 91 6 0 22 Nov 2023
Automatic Algorithm Selection for Pseudo-Boolean Optimization with Given Computational Time Limits Catalina Pezo D. Hochbaum Julio Godoy Roberto Javier Asín Achá 21 1 0 07 Sep 2023
Competitions in AI -- Robustly Ranking Solvers Using Statistical Resampling Chris Fawcett Mauro Vallati Holger H. Hoos Alfonso Gerevini 23 4 0 09 Aug 2023
Explaining SAT Solving Using Causal Reasoning Jiong Yang Arijit Shaw Teodora Baluta Mate Soos Kuldeep S. Meel LRM 51 1 0 09 Jun 2023
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 94 1 0 18 May 2023
Synthesis with Explicit Dependencies P. Golia Subhajit Roy Kuldeep S. Meel 68 0 0 25 Jan 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 87 74 0 14 Jan 2023
Automated Configuration and Usage of Strategy Portfolios for Bargaining Bram M. Renting Holger H. Hoos Catholijn M. Jonker 20 0 0 20 Dec 2022
Learning Branching Heuristics from Graph Neural Networks Congsong Zhang Yong Gao James Nastos GNN AI4CE 26 0 0 26 Nov 2022
UNIFY: a Unified Policy Designing Framework for Solving Constrained Optimization Problems with Machine Learning Mattia Silvestri A. D. Filippo M. Lombardi M. Milano 49 0 0 25 Oct 2022
Improving Nevergrad's Algorithm Selection Wizard NGOpt through Automated Algorithm Configuration R. Trajanov Ana Nikolikj Gjorgjina Cenikj F. Teytaud Mathurin Videau O. Teytaud T. Eftimov Manuel López-Ibánez Carola Doerr 71 3 0 09 Sep 2022
What Can Transformers Learn In-Context? A Case Study of Simple Function Classes Shivam Garg Dimitris Tsipras Percy Liang Gregory Valiant 162 514 0 01 Aug 2022
On the Generalizability and Predictability of Recommender Systems Duncan C. McElfresh Sujay Khandagale Jonathan Valverde John P. Dickerson Colin White 74 10 0 23 Jun 2022
Zero-Shot AutoML with Pretrained Models Ekrem Öztürk Fabio Ferreira H. Jomaa Lars Schmidt-Thieme Josif Grabocka Frank Hutter VLM 115 10 0 16 Jun 2022
A portfolio-based analysis method for competition results Nguyen Dang 44 1 0 30 May 2022
A Framework for Generating Informative Benchmark Instances Nguyen Dang Ozgur Akgun Joan Espasa Ian Miguel Peter William Nightingale 29 6 0 29 May 2022
Automated Dynamic Algorithm Configuration Steven Adriaensen André Biedenkapp Gresa Shala Noor H. Awad Theresa Eimer Marius Lindauer Frank Hutter 106 39 0 27 May 2022
Formalizing Preferences Over Runtime Distributions Devon R. Graham Kevin Leyton-Brown Tim Roughgarden 57 5 0 25 May 2022
DPER: Dynamic Programming for Exist-Random Stochastic SAT Vu Hoang Nguyen Phan Moshe Y. Vardi 33 1 0 19 May 2022
DPO: Dynamic-Programming Optimization on Hybrid Constraints Vu Hoang Nguyen Phan Moshe Y. Vardi TPM 36 2 0 17 May 2022
SATfeatPy -- A Python-based Feature Extraction System for Satisfiability Benjamin Provan-Bessell Marco Dalla Andrea Visentin Barry O'Sullivan 27 1 0 29 Apr 2022
Structural Analysis of Branch-and-Cut and the Learnability of Gomory Mixed Integer Cuts Maria-Florina Balcan Siddharth Prasad Tuomas Sandholm Ellen Vitercik 42 22 0 15 Apr 2022
Optimizer Amalgamation Tianshu Huang Tianlong Chen Sijia Liu Shiyu Chang Lisa Amini Zhangyang Wang MoMe 69 4 0 12 Mar 2022
On the Configuration of More and Less Expressive Logic Programs Carmine Dodaro Marco Maratea Mauro Vallati 64 1 0 02 Mar 2022
Machine Learning Methods in Solving the Boolean Satisfiability Problem Wenxuan Guo Junchi Yan Hui-Ling Zhen Xijun Li Mingxuan Yuan Yaohui Jin NAI 65 38 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 98 53 0 03 Feb 2022
Parallel Logic Programming: A Sequel A. Dovier Andrea Formisano G. Gupta M. Hermenegildo Enrico Pontelli Ricardo Rocha LRM 46 10 0 22 Nov 2021
Improved Sample Complexity Bounds for Branch-and-Cut Maria-Florina Balcan Siddharth Prasad Tuomas Sandholm Ellen Vitercik 86 16 0 18 Nov 2021
Benchmarking Feature-based Algorithm Selection Systems for Black-box Numerical Optimization Ryoji Tanabe 63 15 0 17 Sep 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 254 514 0 13 Jul 2021
Sample Complexity of Tree Search Configuration: Cutting Planes and Beyond Maria-Florina Balcan Siddharth Prasad Tuomas Sandholm Ellen Vitercik 63 39 0 08 Jun 2021
Partition Function Estimation: A Quantitative Study Durgesh Kumar Agrawal Yash Pote Kuldeep S. Meel 78 11 0 24 May 2021
QROSS: QUBO Relaxation Parameter Optimisation via Learning Solver Surrogates Tian Huang Siong Thye Goh Sabrish Gopalakrishnan Yaoyu Zhang Qianxiao Li H. Lau 38 5 0 19 Mar 2021
MAPFAST: A Deep Algorithm Selector for Multi Agent Path Finding using Shortest Path Embeddings J. Ren V. Sathiyanarayanan Eric Ewing Baskin Senbaslar Nora Ayanian 55 19 0 24 Feb 2021
Zero Training Overhead Portfolios for Learning to Solve Combinatorial Problems Yiwei Bai Wenting Zhao Carla P. Gomes 64 1 0 05 Feb 2021