Login / Signup
Computing Stable Models with Quantified Boolean Formulas: Some Experimental Results.
Uwe Egly
Thomas Eiter
Volker Klotz
Hans Tompits
Stefan Woltran
Published in:
Answer Set Programming (2001)
Keyphrases
</>
stable models
logic programs
logic programming
quantified boolean formulas
database
programming language
orders of magnitude