Improvements to the evaluation of quantified boolean formulae (1999)

by J Rintanen
Venue:In Proceedings of the 16th International Joint Conference on Artificial Intelligence (IJCAI - 99