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

Nadia Creignou, Herv Daud, Uwe Egly, Raphal Rossignol

Browse the full SAT paper archive.