978 citations
- Institute for High Energy PhysicsES28 papers
- The Ohio State UniversityUS27 papers
- University of WashingtonUS26 papers
- Laboratoire de Physique Subatomique et des Technologies AssociéesFR24 papers
- Pusan National UniversityKR24 papers
- Argonne National LaboratoryUS23 papers
- Brookhaven National LaboratoryUS23 papers
- Central China Normal UniversityCN23 papers
- Creighton UniversityUS23 papers
- Indiana University BloomingtonUS23 papers
- Indian Institute of Technology BombayIN23 papers
- Institute of Engineering PhysicsRU23 papers
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2005
Computing minimal models, stable models and answer sets
Z. Lonc, M. Truszczynski
We propose and study algorithms to compute minimal models, stable models and answer sets of t-CNF theories, and normal and disjunctive t-programs. We are especially interested in a…
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…