BibTeX record conf/aaai/AnsoteguiBFM08

download as .bib file

@inproceedings{DBLP:conf/aaai/AnsoteguiBFM08,
  author    = {Carlos Ans{\'{o}}tegui and
               Ram{\'{o}}n B{\'{e}}jar and
               C{\`{e}}sar Fern{\'{a}}ndez and
               Carles Mateu},
  title     = {Generating Hard {SAT/CSP} Instances Using Expander Graphs},
  booktitle = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
               {AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
  pages     = {1442--1443},
  year      = {2008},
  crossref  = {DBLP:conf/aaai/2008},
  url       = {http://www.aaai.org/Library/AAAI/2008/aaai08-229.php},
  timestamp = {Mon, 10 Dec 2012 17:36:53 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/AnsoteguiBFM08},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/aaai/2008,
  editor    = {Dieter Fox and
               Carla P. Gomes},
  title     = {Proceedings of the Twenty-Third {AAAI} Conference on Artificial Intelligence,
               {AAAI} 2008, Chicago, Illinois, USA, July 13-17, 2008},
  publisher = {{AAAI} Press},
  year      = {2008},
  isbn      = {978-1-57735-368-3},
  timestamp = {Fri, 15 Aug 2008 11:13:22 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/aaai/2008},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics