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

Nadia Creignou Hervé Daudé Uwe Egly Raphaël Rossignol (1, 2)-QSAT: A Good Candidate for Understanding Phase Transitions Mechanisms. 363-376 2009 SAT http://dx.doi.org/10.1007/978-3-642-02777-2_34 conf/sat/2009 db/conf/sat/sat2009.html#CreignouDER09