Boolean Equi-propagation for Concise and Efficient SAT Encodings of Combinatorial Problems

We present an approach to propagation-based SAT encoding of combinatorial problems, Boolean equi-propagation, where constraints are modeled as Boolean functions which propagate information about equalities between Boolean literals. This information is then applied to simplify the CNF encoding of the...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	The Journal of artificial intelligence research 2013-01, Vol.46, p.303-341
Hauptverfasser:	Metodi, A., Codish, M., Stuckey, P. J.
Format:	Artikel
Sprache:	eng
Schlagworte:	Artificial intelligence Boolean Boolean algebra Boolean functions Coders Combinatorial analysis Constraint modelling Equivalence Propagation Reasoning
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!