Cristian Coarfa Demetrios D. Demopoulos Alfonso San Miguel Aguirre Devika Subramanian Moshe Y. Vardi Random 3-SAT: The Plot Thickens. 243-261 2003 8 Constraints 3 http://dx.doi.org/10.1023/A:1025671026963 db/journals/constraints/constraints8.html#CoarfaDASV03