BibTeX record conf/aaai/Coste-MarquisBLM05

download as .bib file

@inproceedings{DBLP:conf/aaai/Coste-MarquisBLM05,
  author    = {Sylvie Coste{-}Marquis and
               Daniel Le Berre and
               Florian Letombe and
               Pierre Marquis},
  title     = {Propositional Fragments for Knowledge Compilation and Quantified Boolean
               Formulae},
  booktitle = {Proceedings, The Twentieth National Conference on Artificial Intelligence
               and the Seventeenth Innovative Applications of Artificial Intelligence
               Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}},
  pages     = {288--293},
  year      = {2005},
  crossref  = {DBLP:conf/aaai/2005},
  url       = {http://www.aaai.org/Library/AAAI/2005/aaai05-046.php},
  timestamp = {Mon, 10 Dec 2012 15:34:43 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aaai/Coste-MarquisBLM05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aaai/2005,
  editor    = {Manuela M. Veloso and
               Subbarao Kambhampati},
  title     = {Proceedings, The Twentieth National Conference on Artificial Intelligence
               and the Seventeenth Innovative Applications of Artificial Intelligence
               Conference, July 9-13, 2005, Pittsburgh, Pennsylvania, {USA}},
  publisher = {{AAAI} Press / The {MIT} Press},
  year      = {2005},
  isbn      = {1-57735-236-X},
  timestamp = {Mon, 26 Feb 2007 09:10:53 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aaai/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}