Computing stable models: worst-case performance estimates

DOI10.1017/S147106840300173XzbMath1090.68016OpenAlexW2163857937MaRDI QIDQ4819008

Zbigniew Lonc, Miroslaw Truszczynski

Publication date: 24 September 2004

Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s147106840300173x

zbMATH Keywords

worst-case boundslogic programsstable modelscomputing stable models

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Random logic programs: Linear model

Uses Software

• Smodels

This page was built for publication: Computing stable models: worst-case performance estimates