{"type":"ScholarlyArticle","title":"Boolean Satifiability and Beyond: Algorithms, Analysis, and AI Applications","authors":[{"name":"Matti Järvisalo","slug":"matti-jarvisalo","given":"Matti","family":"Järvisalo","affiliation":""}],"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.","doi":null,"url":"https://ijcai.org/proceedings/2016/602","pdf":"https://ijcai.org/proceedings/2016/0602.pdf","markdown":"https://ijcai.org/proceedings/2016/602.md","bibtex":"https://ijcai.org/proceedings/2016/bibtex/602","volume":{"slug":"2016","title":"Proceedings of the Twenty-Fifth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2016","url":"https://ijcai.org/proceedings/2016/","year":2016,"location":"New York, NY, USA","dates":"9–15 July 2016","editors":"Subbarao Kambhampati","isbn":"978-1-57735-770-4; 978-1-57735-771-1","publisher":"AAAI Press / International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":602,"pages":{"first":4066,"last":4068},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}