141 citations · 303 across the 30 of their papers we have counts for
Showing 2002Show all
2 papers · 1 filter
cs.LO2002★ 2 cited
Propositional satisfiability in declarative programming
Deborah East, Miroslaw Truszczynski
Answer-set programming (ASP) paradigm is a way of using logic to solve search problems. Given a search problem, to solve it one designs a theory in the logic so that models of this…
cs.LO2002
Computing stable models: worst-case performance estimates
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…