Chapter 8. Fundaments of Branching Heuristics

First Author: Kullmann O
Attributed to:  The next level of SAT solving for very hard problems funded by EPSRC

Abstract

No abstract provided

Bibliographic Information

Digital Object Identifier: http://dx.doi.org/10.3233/faia200991

Publication URI: http://dx.doi.org/10.3233/faia200991

Type: Book Chapter

Book Title: Handbook of Satisfiability - Second Edition (2021)