Cluster-Based ASP Solving with

Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Torsten Schaub, Bettina Schnor

Browse the full LPNMR paper archive.