Computing Stable Models: Worst-Case Performance Estimates.

Zbigniew Lonc, Miroslaw Truszczynski

Browse the full ICLP paper archive.