Computing Stable Models with Quantified Boolean Formulas: Some Experimental Results

Uwe Egly, Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran. Computing Stable Models with Quantified Boolean Formulas: Some Experimental Results. In Alessandro Provetti, Tran Cao Son, editors, Answer Set Programming, Towards Efficient and Scalable Knowledge Representation and Reasoning, Proceedings of the 1st Intl. ASP 01 Workshop, Stanford, March 26-28, 2001. 2001. [doi]

Abstract

Abstract is missing.