Proceedings Abstracts of the Twenty-Fifth International Joint Conference on Artificial Intelligence

Boolean Satifiability and Beyond: Algorithms, Analysis, and AI Applications / 4066
Matti Järvisalo

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.