Search
 
loader loading subjects...
cover
Chapter 5. Look-Ahead Based SAT Solvers
Marijn J.H. Heule, Hans van Maaren
183 - 212
10.3233/FAIA200988
Research Article
Frontiers in Artificial Intelligence and Applications
Volume 336: 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