Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas.

Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran

Browse the full AAAI paper archive.