Solving Advanced Reasoning Tasks using Quantified Boolean Formulas (2000)

by Uwe Egly , Thomas Eiter , Hans Tompits , Stefan Woltran
Citations:71 - 19 self