Chapter 14. Minimal Unsatisfiability and Autarkies

First Author: Kleine Büning H
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/faia200997

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

Type: Book Chapter

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