DMCA

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:155 - 5 self