BibTeX record conf/ijcai/GebserKS13

download as .bib file

@inproceedings{DBLP:conf/ijcai/GebserKS13,
  author    = {Martin Gebser and
               Benjamin Kaufmann and
               Torsten Schaub},
  editor    = {Francesca Rossi},
  title     = {Advanced Conflict-Driven Disjunctive Answer Set Solving},
  booktitle = {{IJCAI} 2013, Proceedings of the 23rd International Joint Conference
               on Artificial Intelligence, Beijing, China, August 3-9, 2013},
  pages     = {912--918},
  publisher = {{IJCAI/AAAI}},
  year      = {2013},
  url       = {http://www.aaai.org/ocs/index.php/IJCAI/IJCAI13/paper/view/6835},
  timestamp = {Tue, 20 Aug 2019 16:16:38 +0200},
  biburl    = {https://dblp.org/rec/conf/ijcai/GebserKS13.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics