Järvisalo. "Boolean Satifiability and Beyond: Algorithms, Analysis, and AI Applications." International Joint Conference on Artificial Intelligence, 2016.
Markdown
[Järvisalo. "Boolean Satifiability and Beyond: Algorithms, Analysis, and AI Applications." International Joint Conference on Artificial Intelligence, 2016.](https://mlanthology.org/ijcai/2016/jarvisalo2016ijcai-boolean/)
BibTeX
@inproceedings{jarvisalo2016ijcai-boolean,
title = {{Boolean Satifiability and Beyond: Algorithms, Analysis, and AI Applications}},
author = {Järvisalo, Matti},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2016},
pages = {4066-4069},
url = {https://mlanthology.org/ijcai/2016/jarvisalo2016ijcai-boolean/}
}