Solving advanced reasoning tasks using quantified boolean formulas (2000)

by U Egly, T Eiter, H Tompits, S Woltran
Venue:In Proc. 17th National Conference on Artificial Intelligence (AAAI’00