---
title: "Boolean Satifiability and Beyond: Algorithms, Analysis, and AI Applications"
authors:
  - "Matti Järvisalo"
doi: ""
url: "https://ijcai.org/proceedings/2016/602"
pdf: "https://ijcai.org/proceedings/2016/0602.pdf"
venue: "Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence"
year: 2016
pages: "4066-4068"
track: ""
keywords:
---

# Boolean Satifiability and Beyond: Algorithms, Analysis, and AI Applications

Matti Järvisalo

*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.