Marco Cadoli, Andrea Giovanardi, Marco Schaerf. An Algorithm to Evaluate Quantified Boolean Formulae. In AAAI/IAAI. pages 262-267, 1998.
@inproceedings{CadoliGS98,
title = {An Algorithm to Evaluate Quantified Boolean Formulae},
author = {Marco Cadoli and Andrea Giovanardi and Marco Schaerf},
year = {1998},
researchr = {https://researchr.org/publication/CadoliGS98},
cites = {0},
citedby = {0},
pages = {262-267},
booktitle = {AAAI/IAAI},
}