Inproceedings,
Cluster-Based ASP Solving with claspar.
M. Gebser, R. Kaminski, B. Kaufmann, T. Schaub, and B. Schnor.LPNMR, volume 6645 of Lecture Notes in Computer Science, page 364-369. Springer, (2011)
Meta data
- BibTeX key
- conf/lpnmr/GebserKKSS11
- entry type
- inproceedings
- booktitle
- LPNMR
- year
- 2011
- pages
- 364-369
- publisher
- Springer
- series
- Lecture Notes in Computer Science
- volume
- 6645
- crossref
- conf/lpnmr/2011
- ee
- https://doi.org/10.1007/978-3-642-20895-9_42
- isbn
- 978-3-642-20894-2
- url
- http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2011.html#GebserKKSS11
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%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
%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 = {2023-12-13T08:56:46.000+0100},
author = {Gebser, Martin and Kaminski, Roland and Kaufmann, Benjamin and Schaub, Torsten and Schnor, Bettina},
biburl = {https://www.bibsonomy.org/bibtex/27aafdf72e4f88124d223dff946edd8bf/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_42},
interhash = {c94e7412cfd1b48d404500460a7eb743},
intrahash = {7aafdf72e4f88124d223dff946edd8bf},
isbn = {978-3-642-20894-2},
keywords = {},
pages = {364-369},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2023-12-13T08:56:46.000+0100},
title = {Cluster-Based ASP Solving with claspar.},
url = {http://dblp.uni-trier.de/db/conf/lpnmr/lpnmr2011.html#GebserKKSS11},
volume = 6645,
year = 2011
}