Finding hard instances of the satisfiability problem: A survey.
S. Cook, and D. Mitchell. Satisfiability Problem: Theory and Applications, volume 35 of DIMACS Series in Discrete Mathematics and Theoretical Computer Science, page 1-17. DIMACS/AMS, (1996)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
}