%0 Conference Paper %1 conf/lpnmr/GebserKKSS11 %A Gebser, Martin %A Kaminski, Roland %A Kaufmann, Benjamin %A Schaub, Torsten %A Schnor, Bettina %B LPNMR %D 2011 %E Delgrande, James P. %E Faber, Wolfgang %I Springer %K dblp %P 364-369 %T Cluster-Based ASP Solving with claspar. %U http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2011.html#GebserKKSS11 %V 6645 %@ 978-3-642-20894-2

@inproceedings{conf/lpnmr/GebserKKSS11, added-at = {2021-04-09T00:00:00.000+0200}, author = {Gebser, Martin and Kaminski, Roland and Kaufmann, Benjamin and Schaub, Torsten and Schnor, Bettina}, biburl = {https://www.bibsonomy.org/bibtex/27aafdf72e4f88124d223dff946edd8bf/dblp}, booktitle = {LPNMR}, crossref = {conf/lpnmr/2011}, editor = {Delgrande, James P. and Faber, Wolfgang}, ee = {https://doi.org/10.1007/978-3-642-20895-9_42}, interhash = {c94e7412cfd1b48d404500460a7eb743}, intrahash = {7aafdf72e4f88124d223dff946edd8bf}, isbn = {978-3-642-20894-2}, keywords = {dblp}, pages = {364-369}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T16:45:39.000+0200}, title = {Cluster-Based ASP Solving with claspar.}, url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2011.html#GebserKKSS11}, volume = 6645, year = 2011 }