A Uniform Treatment of Aggregates and Constraints in Hybrid ASP

Pedro Cabalar, Jorge Fandinno, Torsten Schaub +1

Characterizing hybrid ASP solving in a generic way is difficult since one needs to abstract from specific theories. Inspired by lazy SMT solving, this is usually addressed by treat…