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

תיאור מלא

מידע ביבליוגרפי
Main Authors: Jeavons, P, Petke, J
פורמט: Journal article
יצא לאור: 2012