Improvements to the evaluation of quantified Boolean formulae (1999)

by Jussi Rintanen
Venue:In Proceedings of the Sixteenth International Joint Conference on Artificial Intelligence (IJCAI'99), July 31-August 6
Citations:74 - 3 self