Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
1111.2249
Cited By
SATzilla: Portfolio-based Algorithm Selection for SAT
Journal of Artificial Intelligence Research (JAIR), 2008
31 October 2011
Lin Xu
Katharina Eggensperger
Holger H. Hoos
Kevin Leyton-Brown
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"SATzilla: Portfolio-based Algorithm Selection for SAT"
50 / 159 papers shown
LangSAT: A Novel Framework Combining NLP and Reinforcement Learning for SAT Solving
Muyu Pan
Matthew Walter
Dheeraj Kodakandla
Mahfuza Farooque
60
0
0
04 Dec 2025
Practical, Utilitarian Algorithm Configuration
Devon R. Graham
Eros Rojas Velez
Kevin Leyton-Brown
212
0
0
16 Oct 2025
Budget-constrained Active Learning to Effectively De-censor Survival Data
Ali Parsaee
Bei Jiang
Zachary Friggstad
Russell Greiner
101
0
0
14 Oct 2025
Intelligent Algorithm Selection for Recommender Systems: Meta-Learning via in-depth algorithm feature engineering
Jarne Mathi Decker
87
0
0
24 Sep 2025
A Knowledge Graph-based Retrieval-Augmented Generation Framework for Algorithm Selection in the Facility Layout Problem
Nikhil N S
Amol Dilip Joshi
Bilal Muhammed
Soban Babu
130
0
0
22 Sep 2025
DaSAThco: Data-Aware SAT Heuristics Combinations Optimization via Large Language Models
Minyu Chen
Guoqiang Li
128
0
0
16 Sep 2025
A Systematic Survey on Large Language Models for Evolutionary Optimization: From Modeling to Solving
Yisong Zhang
Ran Cheng
Guoxing Yi
Kay Chen Tan
OffRL
466
9
0
10 Sep 2025
FORGE: Foundational Optimization Representations from Graph Embeddings
Zohair Shafi
Serdar Kadioglu
AI4CE
395
0
0
28 Aug 2025
Tuning without Peeking: Provable Generalization Bounds and Robust LLM Post-Training
Ismail Labiad
Mathurin Videau
Matthieu Kowalski
Marc Schoenauer
Alessandro Leite
Julia Kempe
O. Teytaud
AAML
338
0
0
02 Jul 2025
ORFS-agent: Tool-Using Agents for Chip Design Optimization
Workshop on Machine Learning for CAD (ML4CAD), 2025
Amur Ghose
Andrew B. Kahng
Sayak Kundu
Zhiang Wang
AI4CE
392
9
0
10 Jun 2025
Greedy Restart Schedules: A Baseline for Dynamic Algorithm Selection on Numerical Black-box Optimization Problems
Annual Conference on Genetic and Evolutionary Computation (GECCO), 2025
Lennart Schäpermeier
284
1
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
272
1
0
15 Dec 2024
Evolutionary Retrofitting
ACM Transactions on Evolutionary Learning and Optimization (ACM TELO), 2024
Mathurin Videau
M. Zameshina
Alessandro Leite
Laurent Najman
Marc Schoenauer
O. Teytaud
413
3
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
246
0
0
23 Sep 2024
Identifying Easy Instances to Improve Efficiency of ML Pipelines for Algorithm-Selection
Quentin Renau
Emma Hart
244
1
0
24 Jun 2024
Equilibria in multiagent online problems with predictions
Gabriel Istrate
C. Bonchis
Victor Bogdan
356
6
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
234
0
0
18 May 2024
Frugal Algorithm Selection
International Conference on Principles and Practice of Constraint Programming (CP), 2024
Erdem Kus
Ozgur Akgun
Nguyen Dang
Ian Miguel
143
0
0
17 May 2024
GraSS: Combining Graph Neural Networks with Expert Knowledge for SAT Solver Selection
Knowledge Discovery and Data Mining (KDD), 2024
Zhanguang Zhang
Didier Chetelat
Joseph Cotnareanu
Amur Ghose
Wenyi Xiao
Hui-Ling Zhen
Yingxue Zhang
Jianye Hao
Mark Coates
Mingxuan Yuan
NAI
213
5
0
17 May 2024
Global Benchmark Database
International Conference on Theory and Applications of Satisfiability Testing (SAT), 2024
Markus Iser
Christoph Jabs
191
6
0
16 May 2024
Accelerating data-driven algorithm selection for combinatorial partitioning problems
Vaggos Chatziafratis
Ishani Karmarkar
Yingxi Li
Ellen Vitercik
386
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
322
15
0
15 Feb 2024
Using Sequential Runtime Distributions for the Parallel Speedup Prediction of SAT Local Search
Alejandro Arbelaez
Charlotte Truchet
Philippe Codognet
140
12
0
30 Jan 2024
Lessons on Datasets and Paradigms in Machine Learning for Symbolic Computation: A Case Study on CAD
Mathematics and Computer Science (MCS), 2024
Tereso del Río
Matthew England
148
3
0
24 Jan 2024
Large Language Model-Enhanced Algorithm Selection: Towards Comprehensive Algorithm Representation
International Joint Conference on Artificial Intelligence (IJCAI), 2023
Xingyu Wu
Yan Zhong
Jibin Wu
Bingbing Jiang
Kay Chen Tan
287
22
0
22 Nov 2023
Automatic Algorithm Selection for Pseudo-Boolean Optimization with Given Computational Time Limits
Computers & Operations Research (Comput. Oper. Res.), 2023
Catalina Pezo
D. Hochbaum
Julio Godoy
Roberto Javier Asín Achá
173
2
0
07 Sep 2023
Competitions in AI -- Robustly Ranking Solvers Using Statistical Resampling
Chris Fawcett
Mauro Vallati
Holger H. Hoos
Alfonso Gerevini
111
6
0
09 Aug 2023
Explaining SAT Solving Using Causal Reasoning
International Conference on Theory and Applications of Satisfiability Testing (SAT), 2023
Jiong Yang
Arijit Shaw
Teodora Baluta
Mate Soos
Kuldeep S. Meel
LRM
180
2
0
09 Jun 2023
Lightweight Online Learning for Sets of Related Problems in Automated Reasoning
Formal Methods in Computer-Aided Design (FMCAD), 2023
Haoze Wu
Christopher Hahn
Florian Lonsing
Makai Mann
R. Ramanujan
Clark W. Barrett
OffRL
LRM
333
4
0
18 May 2023
Synthesis with Explicit Dependencies
Design, Automation and Test in Europe (DATE), 2023
P. Golia
Subhajit Roy
Kuldeep S. Meel
205
1
0
25 Jan 2023
First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)
International Journal on Software Tools for Technology Transfer (STTT) (STTT), 2023
Christopher Brix
Mark Niklas Muller
Stanley Bak
Taylor T. Johnson
Changliu Liu
NAI
309
85
0
14 Jan 2023
Automated Configuration and Usage of Strategy Portfolios for Bargaining
Bram M. Renting
Holger H. Hoos
Catholijn M. Jonker
91
1
0
20 Dec 2022
Learning Branching Heuristics from Graph Neural Networks
Congsong Zhang
Yong Gao
James Nastos
GNN
AI4CE
105
1
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
242
1
0
25 Oct 2022
Improving Nevergrad's Algorithm Selection Wizard NGOpt through Automated Algorithm Configuration
Parallel Problem Solving from Nature (PPSN), 2022
R. Trajanov
Ana Nikolikj
Gjorgjina Cenikj
F. Teytaud
Mathurin Videau
O. Teytaud
T. Eftimov
Manuel López-Ibánez
Carola Doerr
211
5
0
09 Sep 2022
What Can Transformers Learn In-Context? A Case Study of Simple Function Classes
Neural Information Processing Systems (NeurIPS), 2022
Shivam Garg
Dimitris Tsipras
Abigail Z. Jacobs
Gregory Valiant
766
726
0
01 Aug 2022
On the Generalizability and Predictability of Recommender Systems
Neural Information Processing Systems (NeurIPS), 2022
Duncan C. McElfresh
Sujay Khandagale
Jonathan Valverde
John P. Dickerson
Colin White
262
11
0
23 Jun 2022
Zero-Shot AutoML with Pretrained Models
International Conference on Machine Learning (ICML), 2022
Ekrem Öztürk
Fabio Ferreira
H. Jomaa
Lars Schmidt-Thieme
Josif Grabocka
Katharina Eggensperger
VLM
359
17
0
16 Jun 2022
A portfolio-based analysis method for competition results
Nguyen Dang
117
2
0
30 May 2022
A Framework for Generating Informative Benchmark Instances
International Conference on Principles and Practice of Constraint Programming (CP), 2022
Nguyen Dang
Ozgur Akgun
Joan Espasa
Ian Miguel
Peter William Nightingale
201
9
0
29 May 2022
Automated Dynamic Algorithm Configuration
Journal of Artificial Intelligence Research (JAIR), 2022
Steven Adriaensen
André Biedenkapp
Gresa Shala
Noor H. Awad
Theresa Eimer
Marius Lindauer
Katharina Eggensperger
369
54
0
27 May 2022
Formalizing Preferences Over Runtime Distributions
International Conference on Machine Learning (ICML), 2022
Devon R. Graham
Kevin Leyton-Brown
Tim Roughgarden
229
6
0
25 May 2022
DPER: Dynamic Programming for Exist-Random Stochastic SAT
Vu Hoang Nguyen Phan
Moshe Y. Vardi
169
0
0
19 May 2022
DPO: Dynamic-Programming Optimization on Hybrid Constraints
Vu Hoang Nguyen Phan
Moshe Y. Vardi
TPM
185
3
0
17 May 2022
SATfeatPy -- A Python-based Feature Extraction System for Satisfiability
Benjamin Provan-Bessell
Marco Dalla
Andrea Visentin
Barry O'Sullivan
204
3
0
29 Apr 2022
Structural Analysis of Branch-and-Cut and the Learnability of Gomory Mixed Integer Cuts
Neural Information Processing Systems (NeurIPS), 2022
Maria-Florina Balcan
Siddharth Prasad
Tuomas Sandholm
Ellen Vitercik
160
27
0
15 Apr 2022
Optimizer Amalgamation
International Conference on Learning Representations (ICLR), 2022
Tianshu Huang
Tianlong Chen
Sijia Liu
Shiyu Chang
Lisa Amini
Zinan Lin
MoMe
276
5
0
12 Mar 2022
On the Configuration of More and Less Expressive Logic Programs
Theory and Practice of Logic Programming (TPLP), 2022
Carmine Dodaro
Marco Maratea
Mauro Vallati
228
1
0
02 Mar 2022
Machine Learning Methods in Solving the Boolean Satisfiability Problem
Machine Intelligence Research (MIR), 2022
Wenxuan Guo
Junchi Yan
Hui-Ling Zhen
Xijun Li
Mingxuan Yuan
Yaohui Jin
NAI
300
49
0
02 Mar 2022
A Survey of Methods for Automated Algorithm Configuration
Journal of Artificial Intelligence Research (JAIR), 2022
Elias Schede
Jasmin Brandt
Alexander Tornede
Marcel Wever
Viktor Bengs
Eyke Hüllermeier
Kevin Tierney
257
73
0
03 Feb 2022
1
2
3
4
Next
Page 1 of 4
