An algorithm to evaluate quantified boolean formulae and its experimental evaluation (0)

by Marco Cadoli, Marco Schaerf, Andrea Giovanardi, Massimo Giovanardi
Venue:J. of Automated Reasoning