Construction and Optimization of a Parallel Engine for Answer Set Programming.

Enrico Pontelli, Omar El-Khatib

Browse the full PADL paper archive.