Stem qsat$ (all stems)

2 papers:

TAP-2012-CreignouES #framework #random #satisfiability #specification

A Framework for the Specification of Random SAT and QSAT Formulas (NC, UE, MS), pp. 163–168.

SAT-2009-CreignouDER #comprehension

(1, 2)-QSAT: A Good Candidate for Understanding Phase Transitions Mechanisms (NC, HD, UE, RR), pp. 363–376.