Integrating SMT solvers into Goal-Directed Answer Set Programming, Challenges and Directions.

Sarat Chandra Varanasi, Baoluo Meng

Browse the full ICLP paper archive.