%0 Conference Paper %1 conf/dimacs/CookM96 %A Cook, Stephen A. %A Mitchell, David G. %B Satisfiability Problem: Theory and Applications %D 1996 %E Du, Ding-Zhu %E Gu, Jun %E Pardalos, Panos M. %I DIMACS/AMS %K dblp %P 1-17 %T Finding hard instances of the satisfiability problem: A survey. %U http://dblp.uni-trier.de/db/conf/dimacs/dimacs35.html#CookM96 %V 35 %@ 978-0-8218-0479-7

@inproceedings{conf/dimacs/CookM96, added-at = {2022-06-09T00:00:00.000+0200}, author = {Cook, Stephen A. and Mitchell, David G.}, biburl = {https://www.bibsonomy.org/bibtex/29f1d892138124a7a6acc3282b05df1a6/dblp}, booktitle = {Satisfiability Problem: Theory and Applications}, crossref = {conf/dimacs/dimacs35}, editor = {Du, Ding-Zhu and Gu, Jun and Pardalos, Panos M.}, ee = {https://doi.org/10.1090/dimacs/035/01}, interhash = {c67bc3189d0781df077475b78a3aa610}, intrahash = {9f1d892138124a7a6acc3282b05df1a6}, isbn = {978-0-8218-0479-7}, keywords = {dblp}, pages = {1-17}, publisher = {DIMACS/AMS}, series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science}, timestamp = {2024-04-09T17:58:26.000+0200}, title = {Finding hard instances of the satisfiability problem: A survey.}, url = {http://dblp.uni-trier.de/db/conf/dimacs/dimacs35.html#CookM96}, volume = 35, year = 1996 }