BibTeX record conf/aaai/AchlioptasGKS00

download as .bib file

@inproceedings{DBLP:conf/aaai/AchlioptasGKS00,
  author       = {Dimitris Achlioptas and
                  Carla P. Gomes and
                  Henry A. Kautz and
                  Bart Selman},
  editor       = {Henry A. Kautz and
                  Bruce W. Porter},
  title        = {Generating Satisfiable Problem Instances},
  booktitle    = {Proceedings of the Seventeenth National Conference on Artificial Intelligence
                  and Twelfth Conference on on Innovative Applications of Artificial
                  Intelligence, July 30 - August 3, 2000, Austin, Texas, {USA}},
  pages        = {256--261},
  publisher    = {{AAAI} Press / The {MIT} Press},
  year         = {2000},
  url          = {http://www.aaai.org/Library/AAAI/2000/aaai00-039.php},
  timestamp    = {Tue, 05 Sep 2023 09:10:47 +0200},
  biburl       = {https://dblp.org/rec/conf/aaai/AchlioptasGKS00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics