%0 Conference Paper %1 conf/lpnmr/GebserKS09 %A Gebser, Martin %A Kaufmann, Benjamin %A Schaub, Torsten %B LPNMR %D 2009 %E Erdem, Esra %E Lin, Fangzhen %E Schaub, Torsten %I Springer %K dblp %P 509-514 %T The Conflict-Driven Answer Set Solver clasp: Progress Report. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2009.html#GebserKS09 %V 5753 %@ 978-3-642-04237-9

@inproceedings{conf/lpnmr/GebserKS09, added-at = {2021-04-09T00:00:00.000+0200}, author = {Gebser, Martin and Kaufmann, Benjamin and Schaub, Torsten}, biburl = {https://www.bibsonomy.org/bibtex/2f13b3844fd5147681709075c4158a01e/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/2009}, editor = {Erdem, Esra and Lin, Fangzhen and Schaub, Torsten}, ee = {https://doi.org/10.1007/978-3-642-04238-6_50}, interhash = {531a7394a6a843ae0c960c2cfbc5ed2b}, intrahash = {f13b3844fd5147681709075c4158a01e}, isbn = {978-3-642-04237-9}, keywords = {dblp}, pages = {509-514}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T16:45:02.000+0200}, title = {The Conflict-Driven Answer Set Solver clasp: Progress Report.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2009.html#GebserKS09}, volume = 5753, year = 2009 }