Boolean Satifiability and Beyond: Algorithms, Analysis, and AI Applications
Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence. Pages 4066-4068.
Abstract
This overview accompanies the author's IJCAI-16 Early Career Spotlight Talk, highlighting aspects of the author's research agenda with a strong focus on some of the author's recent research contributions.
Matti Järvisalo. 2016. Boolean Satifiability and Beyond: Algorithms, Analysis, and AI Applications. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16. IJCAI, 4066–4068. https://ijcai.org/proceedings/2016/602
Järvisalo, M. (2016). Boolean Satifiability and Beyond: Algorithms, Analysis, and AI Applications. In Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16 (pp. 4066–4068). IJCAI. https://ijcai.org/proceedings/2016/602
@inproceedings{ijcai2016p602,
title = {Boolean Satifiability and Beyond: Algorithms, Analysis, and AI Applications},
author = {Järvisalo, Matti},
booktitle = {Proceedings of the Twenty-Fifth International Joint Conference on
Artificial Intelligence, {IJCAI-16}},
publisher = {AAAI Press / International Joint Conferences on Artificial Intelligence},
editor = {Subbarao Kambhampati},
pages = {4066--4068},
year = {2016},
month = {7},
url = {https://ijcai.org/proceedings/2016/602},
}
TY - CPAPER TI - Boolean Satifiability and Beyond: Algorithms, Analysis, and AI Applications AU - Järvisalo, Matti T2 - Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI-16 PB - AAAI Press / International Joint Conferences on Artificial Intelligence PY - 2016 SP - 4066 EP - 4068 UR - https://ijcai.org/proceedings/2016/602 ER -Copied
Machine-readable versions of this paper, for tools and AI agents:
