ML Anthology

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

Matti Järvisalo
IJCAI 2016 pp. 4066-4069
/ijcai/2016/jarvisalo2016ijcai-boolean/

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

PDF IJCAI Semantic Scholar

Cite

Text

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/}
}