Integrating Answer Set Programming and Satisfiability Modulo Theories.

Ilkka Niemel

Browse the full LPNMR paper archive.