no code implementations • 6 Oct 2015 • Remi Brochenin, Yuliya Lierler, Marco Maratea
A fundamental task in answer set programming is to compute stable models, i. e., solutions of logic programs.