An Algorithm to Evaluate Quantified Boolean Formulae (1998)

by M Cadoli, A Giovanardi, M Schaerf
Venue:In Proceedings AAAI/IAAI-98