An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation
Marco Cadoli, Marco Schaerf, Andrea Giovanardi, Massimo GiovanardiVolume:
28
Language:
english
Pages:
42
DOI:
10.1023/a:1015019416843
Date:
February, 2002
File:
PDF, 604 KB
english, 2002