An Algorithm to Evaluate Quantified Boolean Formulae and its Experimental Evaluation (1999)

by Marco Cadoli , Marco Schaerf , Massimo Giovanardi , Massimo Giovanardi
Venue:Journal of Automated Reasoning
Citations:151 - 3 self