BibTeX record conf/ijcai/Marques-SilvaHJPB13

download as .bib file

@inproceedings{DBLP:conf/ijcai/Marques-SilvaHJPB13,
  author    = {Jo{\~{a}}o Marques{-}Silva and
               Federico Heras and
               Mikol{\'{a}}s Janota and
               Alessandro Previti and
               Anton Belov},
  title     = {On Computing Minimal Correction Subsets},
  booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
               on Artificial Intelligence, Beijing, China, August 3-9, 2013},
  pages     = {615--622},
  year      = {2013},
  crossref  = {DBLP:conf/ijcai/2013},
  url       = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6922},
  timestamp = {Wed, 20 Jul 2016 15:16:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/Marques-SilvaHJPB13},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/ijcai/2013,
  editor    = {Francesca Rossi},
  title     = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
               on Artificial Intelligence, Beijing, China, August 3-9, 2013},
  publisher = {{IJCAI/AAAI}},
  year      = {2013},
  url       = {http://ijcai.org/proceedings/2013},
  isbn      = {978-1-57735-633-2},
  timestamp = {Wed, 20 Jul 2016 15:16:56 +0200},
  biburl    = {https://dblp.org/rec/bib/conf/ijcai/2013},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier