BibTeX record conf/ccia/AnsoteguiLMZ12

download as .bib file

@inproceedings{DBLP:conf/ccia/AnsoteguiLMZ12,
  author    = {Carlos Ans{\'{o}}tegui and
               Chu Min Li and
               Felip Many{\`{a}} and
               Zhu Zhu},
  title     = {A SAT-Based Approach to MinSAT},
  booktitle = {Artificial Intelligence Research and Development - Proceedings of
               the 15th International Conference of the Catalan Association for Artificial
               Intelligence, Alicante, Spain, October 24-26, 2012},
  pages     = {185--189},
  year      = {2012},
  crossref  = {DBLP:conf/ccia/2012},
  url       = {https://doi.org/10.3233/978-1-61499-139-7-185},
  doi       = {10.3233/978-1-61499-139-7-185},
  timestamp = {Thu, 15 Jun 2017 21:35:05 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ccia/AnsoteguiLMZ12},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ccia/2012,
  editor    = {David Ria{\~{n}}o and
               Eva Onaindia and
               Miguel Cazorla},
  title     = {Artificial Intelligence Research and Development - Proceedings of
               the 15th International Conference of the Catalan Association for Artificial
               Intelligence, Alicante, Spain, October 24-26, 2012},
  series    = {Frontiers in Artificial Intelligence and Applications},
  volume    = {248},
  publisher = {{IOS} Press},
  year      = {2012},
  url       = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=32596},
  isbn      = {978-1-61499-138-0},
  timestamp = {Tue, 20 Oct 2015 15:30:16 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ccia/2012},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI, founded at University of Trier