Effective Incorporation of Double Look-Ahead Procedures

DOI10.1007/978-3-540-72788-0_25zbMath1214.68356OpenAlexW1588099523MaRDI QIDQ3612471

Marijn J. H. Heule, Hans van Maaren

Publication date: 10 March 2009

Published in: Theory and Applications of Satisfiability Testing – SAT 2007 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-72788-0_25

Mathematics Subject Classification ID

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

Related Items (4)

Failed Literal Detection for QBF ⋮ Present and Future of Practical SAT Solving ⋮ Generalising unit-refutation completeness and SLUR via nested input resolution ⋮ Projection heuristics for binary branchings between sum and product

Uses Software

• kcnfs

This page was built for publication: Effective Incorporation of Double Look-Ahead Procedures