Computing Stable Models with Quantified Boolean Formulas: Some Experimental Results

Open Webpage

Uwe Egly, Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran

Published: 2001, Last Modified: 12 May 2025Answer Set Programming 2001EveryoneRevisionsBibTeXCC BY-SA 4.0