An Investigation of Sharing Strategies for Answer Set Solvers and SAT Solvers.

Hung Viet Le, Enrico Pontelli

Browse the full EuroPar paper archive.