3 citations · 7 across the 9 of their papers we have counts for
1 paper · 2 filters
Zbigniew Lonc, Miroslaw Truszczynski
We study algorithms for computing stable models of propositional logic programs and derive estimates on their worst-case performance that are asymptotically better than the trivial…