"A Framework for the Specification of Random SAT and QSAT Formulas."

Nadia Creignou, Uwe Egly, Martina Seidl (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics