Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran. Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas. 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 417-422, AAAI Press / The MIT Press, 2000.
@inproceedings{EglyETW00,
title = {Solving Advanced Reasoning Tasks Using Quantified Boolean Formulas},
author = {Uwe Egly and Thomas Eiter and Hans Tompits and Stefan Woltran},
year = {2000},
researchr = {https://researchr.org/publication/EglyETW00},
cites = {0},
citedby = {0},
pages = {417-422},
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},
}