Rachel Ben‐Eliyahu‐Zohary

How to Split a Logic Program

2021 · Electronic Proceedings in Theoretical Computer Science

Answer Set Programming (ASP) is a successful method for solving a range of real-world applications. Despite the availability of fast ASP solvers, computing answer sets demands a very large computational power, since the problem tackled …