BibTeX record conf/ccia/AnsoteguiBL09

download as .bib file

@inproceedings{DBLP:conf/ccia/AnsoteguiBL09,
  author    = {Carlos Ans{\'{o}}tegui and
               Maria Luisa Bonet and
               Jordi Levy},
  title     = {On Solving MaxSAT Through {SAT}},
  booktitle = {Artificial Intelligence Research and Development, Proceedings of the
               12th International Conference of the Catalan Association for Artificial
               Intelligence, {CCIA} 2009, October 21-23, 2009, Vilar Rural de Cardona
               (El Bages), Cardona, Spain},
  pages     = {284--292},
  year      = {2009},
  crossref  = {DBLP:conf/ccia/2009},
  url       = {https://doi.org/10.3233/978-1-60750-061-2-284},
  doi       = {10.3233/978-1-60750-061-2-284},
  timestamp = {Thu, 15 Jun 2017 21:35:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ccia/AnsoteguiBL09},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccia/2009,
  editor    = {Sandra A. Sandri and
               Miquel S{\`{a}}nchez{-}Marr{\`{e}} and
               Ulises Cort{\'{e}}s},
  title     = {Artificial Intelligence Research and Development, Proceedings of the
               12th International Conference of the Catalan Association for Artificial
               Intelligence, {CCIA} 2009, October 21-23, 2009, Vilar Rural de Cardona
               (El Bages), Cardona, Spain},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {202},
  publisher = {{IOS} Press},
  year      = {2009},
  isbn      = {978-1-60750-061-2},
  timestamp = {Fri, 20 Nov 2015 17:10:13 +0100},
  biburl    = {https://dblp.org/rec/bib/conf/ccia/2009},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics