Boolean satisfiability problem
phase transitions in random instances of the Boolean satisfiability problem,