Phase transitions of PP-complete satisfiability problems | Publicación