aspeed: ASP-based Solver Scheduling.

Holger H. Hoos, Roland Kaminski, Torsten Schaub, Marius Schneider

Browse the full ICLP paper archive.