Whose side are you on? Finding solutions in a biased search-tree

MaRDI QIDQ3604002zbMATH OpenFDO

Authors Marijn J. H. Heule, Hans van Maaren

Publication date 24 February 2009

zbMATH Keywords

direction heuristicsdistribution jumpingjumping strategylook-ahead SAT solvers

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• scientific article; zbMATH DE number 956858
• A weight-balanced branching rule for SAT
• Progress in Artificial Intelligence
• Local Restarts
• scientific article; zbMATH DE number 1848397

Cited in

(1)

• Present and Future of Practical SAT Solving

This page was built for publication: Whose side are you on? Finding solutions in a biased search-tree

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