Phase transitions of PP-complete satisfiability problems - BAILEY, Delbert D; DALMAU, Victor; KOLAITIS, Phokion G (SAT 2001, the fourth international symposium on the theory and applications of satisfiability testing, 2007)
text