Local search strategies for satisfiability testing.
B. Selman, H. Kautz, und B. Cohen. Cliques, Coloring, and Satisfiability, Volume 26 von DIMACS Series in Discrete Mathematics and Theoretical Computer Science, Seite 521-531. DIMACS/AMS, (1993)
Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/dimacs/SelmanKC93
%A Selman, Bart
%A Kautz, Henry A.
%A Cohen, Bram
%B Cliques, Coloring, and Satisfiability
%D 1993
%E Johnson, David S.
%E Trick, Michael A.
%I DIMACS/AMS
%K dblp
%P 521-531
%T Local search strategies for satisfiability testing.
%U http://dblp.uni-trier.de/db/conf/dimacs/dimacs26.html#SelmanKC93
%V 26
%@ 978-0-8218-6609-2
@inproceedings{conf/dimacs/SelmanKC93,
added-at = {2022-06-09T00:00:00.000+0200},
author = {Selman, Bart and Kautz, Henry A. and Cohen, Bram},
biburl = {https://www.bibsonomy.org/bibtex/2574c09c187f8058f88950696abd22535/dblp},
booktitle = {Cliques, Coloring, and Satisfiability},
crossref = {conf/dimacs/dimacs26},
editor = {Johnson, David S. and Trick, Michael A.},
ee = {https://doi.org/10.1090/dimacs/026/25},
interhash = {eda38470c9fe1b4e89ad3f8ecdf92d1b},
intrahash = {574c09c187f8058f88950696abd22535},
isbn = {978-0-8218-6609-2},
keywords = {dblp},
pages = {521-531},
publisher = {DIMACS/AMS},
series = {DIMACS Series in Discrete Mathematics and Theoretical Computer Science},
timestamp = {2024-04-09T17:58:34.000+0200},
title = {Local search strategies for satisfiability testing.},
url = {http://dblp.uni-trier.de/db/conf/dimacs/dimacs26.html#SelmanKC93},
volume = 26,
year = 1993
}