Clause Elimination for SAT and QSAT

The famous archetypical NP-complete problem of Boolean satisfiability (SAT) and its PSPACE-complete generalization of quantified Boolean satisfiability (QSAT) have become central declarative programming paradigms through which real-world instances of various computationally hard problems can be effi...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	The Journal of artificial intelligence research Jg. 53; S. 127 - 168
Hauptverfasser:	Heule, Marijn, Järvisalo, Matti, Lonsing, Florian, Seidl, Martina, Biere, Armin
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	San Francisco AI Access Foundation 01.01.2015
Schlagworte:	Artificial intelligence Boolean Boolean algebra Canonical forms Declarative programming Empirical analysis Polynomials Redundancy Simplification Solvers
ISSN:	1076-9757, 1076-9757, 1943-5037
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!