Rintanen. "Improvements to the Evaluation of Quantified Boolean Formulae." International Joint Conference on Artificial Intelligence, 1999.
Markdown
[Rintanen. "Improvements to the Evaluation of Quantified Boolean Formulae." International Joint Conference on Artificial Intelligence, 1999.](https://mlanthology.org/ijcai/1999/rintanen1999ijcai-improvements/)
BibTeX
@inproceedings{rintanen1999ijcai-improvements,
title = {{Improvements to the Evaluation of Quantified Boolean Formulae}},
author = {Rintanen, Jussi},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {1999},
pages = {1192-1197},
url = {https://mlanthology.org/ijcai/1999/rintanen1999ijcai-improvements/}
}