Constraint satisfaction problems in clausal form: Autarkies, minimal unsatisfiability, and applications to hypergraph inequalities.

Oliver Kullmann Constraint satisfaction problems in clausal form: Autarkies, minimal unsatisfiability, and applications to hypergraph inequalities. 2006 Complexity of Constraints http://drops.dagstuhl.de/opus/volltexte/2006/803 conf/dagstuhl/2006P6401 db/conf/dagstuhl/P6401.html#Kullmann06