A Portfolio Solver for Answer Set Programming: Preliminary Report.

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Marius Thomas Schneider, Stefan Ziller

Browse the full LPNMR paper archive.