%0 Conference Paper %1 conf/aaai/PennockS96 %A Pennock, David M. %A Stout, Quentin F. %B AAAI/IAAI, Vol. 1 %D 1996 %E Clancey, William J. %E Weld, Daniel S. %I AAAI Press / The MIT Press %K dblp %P 253-258 %T Exploiting a Theory of Phase Transitions in Three-Satisfiability Problems. %U http://dblp.uni-trier.de/db/conf/aaai/aaai96-1.html#PennockS96 %@ 0-262-51091-X

@inproceedings{conf/aaai/PennockS96, added-at = {2023-09-04T00:00:00.000+0200}, author = {Pennock, David M. and Stout, Quentin F.}, biburl = {https://www.bibsonomy.org/bibtex/23258f55c85ef3bc3aeee8bc3df7bc7f8/dblp}, booktitle = {AAAI/IAAI, Vol. 1}, crossref = {conf/aaai/1996-1}, editor = {Clancey, William J. and Weld, Daniel S.}, ee = {http://www.aaai.org/Library/AAAI/1996/aaai96-038.php}, interhash = {707b7e52a33cd9d2b94a830ad2e13138}, intrahash = {3258f55c85ef3bc3aeee8bc3df7bc7f8}, isbn = {0-262-51091-X}, keywords = {dblp}, pages = {253-258}, publisher = {AAAI Press / The MIT Press}, timestamp = {2024-04-10T16:15:41.000+0200}, title = {Exploiting a Theory of Phase Transitions in Three-Satisfiability Problems.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai96-1.html#PennockS96}, year = 1996 }