BibTeX record conf/ijcai/KautzRAGSS01

download as .bib file

@inproceedings{DBLP:conf/ijcai/KautzRAGSS01,
  author    = {Henry A. Kautz and
               Yongshao Ruan and
               Dimitris Achlioptas and
               Carla P. Gomes and
               Bart Selman and
               Mark E. Stickel},
  title     = {Balance and Filtering in Structured Satisfiable Problems},
  booktitle = {Proceedings of the Seventeenth International Joint Conference on Artificial
               Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10,
               2001},
  pages     = {351--358},
  year      = {2001},
  crossref  = {DBLP:conf/ijcai/2001},
  timestamp = {Tue, 19 Jul 2016 16:01:40 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/KautzRAGSS01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2001,
  editor    = {Bernhard Nebel},
  title     = {Proceedings of the Seventeenth International Joint Conference on Artificial
               Intelligence, {IJCAI} 2001, Seattle, Washington, USA, August 4-10,
               2001},
  publisher = {Morgan Kaufmann},
  year      = {2001},
  url       = {http://ijcai.org/proceedings/2001-1},
  isbn      = {1-55860-777-3},
  timestamp = {Tue, 19 Jul 2016 16:01:40 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ijcai/2001},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}