Second-Order Consistencies

In this paper, we propose a comprehensive study of second-order consistencies (i.e., consistencies identifying inconsistent pairs of values) for constraint satisfaction. We build a full picture of the relationships existing between four basic second-order consistencies, namely path consistency (PC),...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	arXiv.org 2014-01
Hauptverfasser:	Lecoutre, Christophe, Cardon, Stephane, Vion, Julien
Format:	Artikel
Sprache:	eng
Schlagworte:	Algorithms Computer Science - Artificial Intelligence Consistency Experimentation Performance enhancement Searching Solvers
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!