%0 Conference Paper %1 conf/aaai/SelmanLM92 %A Selman, Bart %A Levesque, Hector J. %A Mitchell, David G. %B AAAI %D 1992 %E Swartout, William R. %I AAAI Press / The MIT Press %K dblp %P 440-446 %T A New Method for Solving Hard Satisfiability Problems. %U http://dblp.uni-trier.de/db/conf/aaai/aaai92.html#SelmanLM92 %@ 0-262-51063-4

@inproceedings{conf/aaai/SelmanLM92, added-at = {2023-09-04T00:00:00.000+0200}, author = {Selman, Bart and Levesque, Hector J. and Mitchell, David G.}, biburl = {https://www.bibsonomy.org/bibtex/23b76ed025b612816a1176541ed60b751/dblp}, booktitle = {AAAI}, crossref = {conf/aaai/1992}, editor = {Swartout, William R.}, ee = {http://www.aaai.org/Library/AAAI/1992/aaai92-068.php}, interhash = {13b1cd714bc8283d2c36523c14baef63}, intrahash = {3b76ed025b612816a1176541ed60b751}, isbn = {0-262-51063-4}, keywords = {dblp}, pages = {440-446}, publisher = {AAAI Press / The MIT Press}, timestamp = {2024-04-10T14:54:03.000+0200}, title = {A New Method for Solving Hard Satisfiability Problems.}, url = {http://dblp.uni-trier.de/db/conf/aaai/aaai92.html#SelmanLM92}, year = 1992 }