%0 Conference Paper %1 conf/lpnmr/GebserKKSSZ11 %A Gebser, Martin %A Kaminski, Roland %A Kaufmann, Benjamin %A Schaub, Torsten %A Schneider, Marius Thomas %A Ziller, Stefan %B LPNMR %D 2011 %E Delgrande, James P. %E Faber, Wolfgang %I Springer %K %P 352-357 %T A Portfolio Solver for Answer Set Programming: Preliminary Report. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2011.html#GebserKKSSZ11 %V 6645 %@ 978-3-642-20894-2

@inproceedings{conf/lpnmr/GebserKKSSZ11, added-at = {2023-12-13T01:23:05.000+0100}, author = {Gebser, Martin and Kaminski, Roland and Kaufmann, Benjamin and Schaub, Torsten and Schneider, Marius Thomas and Ziller, Stefan}, biburl = {https://www.bibsonomy.org/bibtex/2d726794c5d8225e916c337184d3f3d9f/admin}, booktitle = {LPNMR}, crossref = {conf/lpnmr/2011}, editor = {Delgrande, James P. and Faber, Wolfgang}, ee = {https://doi.org/10.1007/978-3-642-20895-9_40}, interhash = {70ce8a261941c3a0020a540581aec3d4}, intrahash = {d726794c5d8225e916c337184d3f3d9f}, isbn = {978-3-642-20894-2}, keywords = {}, pages = {352-357}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T01:23:05.000+0100}, title = {A Portfolio Solver for Answer Set Programming: Preliminary Report.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2011.html#GebserKKSSZ11}, volume = 6645, year = 2011 }