Local Consistencies in SAT.

Christian Bessire, Emmanuel Hebrard, Toby Walsh

Browse the full SAT paper archive.