Exploiting a Theory of Phase Transitions in Three-Satisfiability Problems

Pennock and Stout. "Exploiting a Theory of Phase Transitions in Three-Satisfiability Problems." AAAI Conference on Artificial Intelligence, 1996.

[Pennock and Stout. "Exploiting a Theory of Phase Transitions in Three-Satisfiability Problems." AAAI Conference on Artificial Intelligence, 1996.](https://mlanthology.org/aaai/1996/pennock1996aaai-exploiting/)

@inproceedings{pennock1996aaai-exploiting,
  title     = {{Exploiting a Theory of Phase Transitions in Three-Satisfiability Problems}},
  author    = {Pennock, David M. and Stout, Quentin F.},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {1996},
  pages     = {253-258},
  url       = {https://mlanthology.org/aaai/1996/pennock1996aaai-exploiting/}
}