Exploiting a Theory of Phase Transitions in Three-Satisfiability Problems.

David M. Pennock, Quentin F. Stout

Browse the full AAAI paper archive.