Towards a theory of good SAT representations

We aim at providing a foundation of a theory of "good" SAT representations F of boolean functions f. We argue that the hierarchy UC_k of unit-refutation complete clause-sets of level k, introduced by the authors, provides the most basic target classes, that is, F in UC_k is to be achieved...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2013-05
Hauptverfasser:	Gwynne, Matthew, Kullmann, Oliver
Format:	Artikel
Sprache:	eng
Schlagworte:	Boolean algebra Boolean functions Codes Consistency Lower bounds Representations Upper bounds
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!