Delbert D. Bailey Víctor Dalmau Phokion G. Kolaitis Phase Transitions of PP-Complete Satisfiability Problems. 183-192 2001 conf/ijcai/2001 IJCAI db/conf/ijcai/ijcai2001.html#BaileyDK01