"The Interface between P and NP in Signed CNF Formulas."

Carlos Ansótegui et al. (2004)
a service of Schloss Dagstuhl - Leibniz Center for Informatics