"Balance and Filtering in Structured Satisfiable Problems (Preliminary Report)."

Henry A. Kautz et al. (2001)
a service of Schloss Dagstuhl - Leibniz Center for Informatics