A Portfolio Solver for Answer Set Programming: Preliminary Report

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Marius Thomas Schneider, Stefan Ziller. A Portfolio Solver for Answer Set Programming: Preliminary Report. 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 352-357, Springer, 2011. [doi]

Authors

Martin Gebser

This author has not been identified. Look up 'Martin Gebser' in Google

Roland Kaminski

This author has not been identified. Look up 'Roland Kaminski' in Google

Benjamin Kaufmann

This author has not been identified. Look up 'Benjamin Kaufmann' in Google

Torsten Schaub

This author has not been identified. Look up 'Torsten Schaub' in Google

Marius Thomas Schneider

This author has not been identified. Look up 'Marius Thomas Schneider' in Google

Stefan Ziller

This author has not been identified. Look up 'Stefan Ziller' in Google