Kautz and Selman. "An Empirical Evaluation of Knowledge Compilation by Theory Approximation." AAAI Conference on Artificial Intelligence, 1994.
Markdown
[Kautz and Selman. "An Empirical Evaluation of Knowledge Compilation by Theory Approximation." AAAI Conference on Artificial Intelligence, 1994.](https://mlanthology.org/aaai/1994/kautz1994aaai-empirical/)
BibTeX
@inproceedings{kautz1994aaai-empirical,
title = {{An Empirical Evaluation of Knowledge Compilation by Theory Approximation}},
author = {Kautz, Henry A. and Selman, Bart},
booktitle = {AAAI Conference on Artificial Intelligence},
year = {1994},
pages = {155-161},
url = {https://mlanthology.org/aaai/1994/kautz1994aaai-empirical/}
}