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

zbMATH Open1170.68595MaRDI QIDQ3604002FDOQ3604002

Marijn J. H. Heule, Hans van Maaren

Publication date: 24 February 2009

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

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)

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)