Search
 
loader loading subjects...
cover
Look-Ahead Based SAT Solvers
Marijn J.H. Heule, Hans van Maaren
155 - 184
10.3233/978-1-58603-929-5-155
Chapter 5
Frontiers in Artificial Intelligence and Applications
Volume 185: Handbook of Satisfiability
Abstract

The chapter on look-a-head architecture based solvers provides a state of the art description of how heuristics, data structures and learning in this context have evolved over the past year.

Contributions on the results of various scientific teams working with this architecture are described and unified. It also provides insight on its weakness when applied to a certain type of problems which are not appropriate to solve using this architecture. It aims to describe the complementary role of this architecture and that of conflict driven solving mechanisms.

$35.00 / €27.50 / £22.00
Add PDF to cart