Solving Advanced Reasoning Tasks using Quantified Boolean Formulas (2000)

Cached

Download Links

by Uwe Egly , Thomas Eiter , Hans Tompits , Stefan Woltran
Citations:69 - 20 self

Document Versions

Solving Advanced Reasoning Tasks using Quantified Boolean Formulas –Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran — 2000
Solving advanced reasoning tasks using quantified Boolean formulas –Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran, Technische Universit├Ąt Wien — 2000