We implemented in Maple 13 all the algorithms described; as we used Maple’s generic solver SolveTools:-Linear, all of our implementations are deterministic.
This paper extends familiar results on the relationship between stable models and program completion to a large class of programs in the input language of gringo, and we hope that this technical contribution will help us apply formal methods to answ…
This work grew out of an attempt to understand simulation results of François Hemez and Christopher Stull. I thank them for bringing this interesting problem to my attention.
There aren't more papers