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,...

Täydet tiedot

Bibliografiset tiedot
Päätekijät: Jeavons, P, Petke, J
Aineistotyyppi: Journal article
Julkaistu: 2012
Search Result 1

Local Consistency and SAT−Solvers Tekijä Jeavons, P, Petke, J

Julkaistu 2012
Journal article
Search Result 2

Local Consistency and SAT-Solvers Tekijä Jeavons, P, Petke, J

Julkaistu 2012
Journal article
Search Result 3

Local Consistency and SAT-Solvers Tekijä Petke, J, Jeavons, P

Julkaistu 2010
Journal article
Search Result 4

Local consistency and SAT−solvers Tekijä Jeavons, P, Petke, J

Julkaistu 2010
Conference item