Local consistency and SAT−solvers

Local consistency techniques such as k-consistency are a key component of specialised solvers for constraint satisfaction problems. In this paper we show that the power of using k-consistency techniques on a constraint satisfaction problem is precisely captured by using a particular inference rule,...

Ausführliche Beschreibung

Bibliographische Detailangaben
Hauptverfasser: Jeavons, P, Petke, J
Format: Journal article
Veröffentlicht: 2012
Search Result 1

Local Consistency and SAT−Solvers von Jeavons, P, Petke, J

Veröffentlicht 2012
Journal article
Search Result 2

Local Consistency and SAT-Solvers von Jeavons, P, Petke, J

Veröffentlicht 2012
Journal article
Search Result 3

Local Consistency and SAT-Solvers von Petke, J, Jeavons, P

Veröffentlicht 2010
Journal article
Search Result 4

Local consistency and SAT−solvers von Jeavons, P, Petke, J

Veröffentlicht 2010
Conference item