@inproceedings{Jarvisalo:IJCAI2016,
author = {Matti J\"arvisalo},
title = {Boolean Satisfiability and Beyond: Algorithms, Analysis, and {AI} Applications},
booktitle = {Proceedings of the 25th International Joint Conference on
               Artificial Intelligence (IJCAI 2016)},
pages     = {4066--4069},
year      = {2016},
editor    = {Subbarao Kambhampati},
publisher = {{IJCAI/AAAI} Press},
}