Marco Cadoli, Marco Schaerf, Andrea Giovanardi, Massimo Giovanardi. An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation. Journal of Automated Reasoning, 28(2):101-142, 2002.
@article{CadoliSGG02,
title = {An Algorithm to Evaluate Quantified Boolean Formulae and Its Experimental Evaluation},
author = {Marco Cadoli and Marco Schaerf and Andrea Giovanardi and Massimo Giovanardi},
year = {2002},
researchr = {https://researchr.org/publication/CadoliSGG02},
cites = {0},
citedby = {0},
journal = {Journal of Automated Reasoning},
volume = {28},
number = {2},
pages = {101-142},
}