"(1, 2)-QSAT: A Good Candidate for Understanding Phase Transitions Mechanisms."

Nadia Creignou et al. (2009)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics