Conflict-driven ASP Solving with External Sources and Program Splits.

Christoph Redl

Browse the full IJCAI paper archive.