Computing large and small stable models

Miroslaw Truszczynski

In this paper, we focus on the problem of existence and computing of small and large stable models. We show that for every fixed integer k, there is a linear-time algorithm to deci…