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

Cached

Download Links

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