Improvements to the evaluation of quantified Boolean formulae (1999)

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