Rainer Feldmann, Burkhard Monien, Stefan Schamberger. A Distributed Algorithm to Evaluate Quantified Boolean Formulae. In Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30 - August 3, 2000, Austin, Texas, USA. pages 285-290, AAAI Press / The MIT Press, 2000.
@inproceedings{FeldmannMS00,
title = {A Distributed Algorithm to Evaluate Quantified Boolean Formulae},
author = {Rainer Feldmann and Burkhard Monien and Stefan Schamberger},
year = {2000},
researchr = {https://researchr.org/publication/FeldmannMS00},
cites = {0},
citedby = {0},
pages = {285-290},
booktitle = {Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on on Innovative Applications of Artificial Intelligence, July 30 - August 3, 2000, Austin, Texas, USA},
publisher = {AAAI Press / The MIT Press},
isbn = {0-262-51112-6},
}