Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas (0)

by U Egly, T Eiter, H Tompits, S Woltran
Venue:in Proc. of the 17th Nat. Conf. on Artificial Intelligence and 12th Conf. on Innovative Applications of Artificial Intelligence (AAAI/IAAI