Ensemble-based prediction of SAT search behaviour

MaRDI QIDQ2741532zbMATH OpenFDO

Authors Breanndán Ó Nualláin, Maarten de Rijke, Johan van Benthem

Publication date 24 September 2001

zbMATH Keywords

backtracking searchsatisfiability problem

Mathematics Subject Classification ID

Search theory (90B40) Combinatorial optimization (90C27)

Recommendations

• SATzilla: portfolio-based algorithm selection for SAT
• On Universal Restart Strategies for Backtracking Search
• Online Estimation of SAT Solving Runtime
• scientific article; zbMATH DE number 956858
• Local search algorithms for SAT: an empirical evaluation

Cited in

(3)

• Online Estimation of SAT Solving Runtime
• On Universal Restart Strategies for Backtracking Search
• SATzilla: portfolio-based algorithm selection for SAT

This page was built for publication: Ensemble-based prediction of SAT search behaviour

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2741532)