Cluster-Based ASP Solving with ::::claspar:::: - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Bettina Schnor. Cluster-Based ASP Solving with ::::claspar::::. In James P. Delgrande, Wolfgang Faber, editors, Logic Programming and Nonmonotonic Reasoning - 11th International Conference, LPNMR 2011, Vancouver, Canada, May 16-19, 2011. Proceedings. Volume 6645 of Lecture Notes in Computer Science, pages 364-369, Springer, 2011. [doi]

This author has not been identified. Look up 'Martin Gebser' in GoogleThis author has not been identified. Look up 'Roland Kaminski' in GoogleThis author has not been identified. Look up 'Benjamin Kaufmann' in GoogleThis author has not been identified. Look up 'Torsten Schaub' in GoogleThis author has not been identified. Look up 'Bettina Schnor' in Google

runs on WebDSL