BibTeX record conf/ijcai/GebserKNS07

download as .bib file

@inproceedings{DBLP:conf/ijcai/GebserKNS07,
  author    = {Martin Gebser and
               Benjamin Kaufmann and
               Andr{\'{e}} Neumann and
               Torsten Schaub},
  editor    = {Manuela M. Veloso},
  title     = {Conflict-Driven Answer Set Solving},
  booktitle = {{IJCAI} 2007, Proceedings of the 20th International Joint Conference
               on Artificial Intelligence, Hyderabad, India, January 6-12, 2007},
  pages     = {386},
  year      = {2007},
  url       = {http://ijcai.org/Proceedings/07/Papers/060.pdf},
  timestamp = {Tue, 20 Aug 2019 16:17:11 +0200},
  biburl    = {https://dblp.org/rec/conf/ijcai/GebserKNS07.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics