Boolean satisfiability and beyond: algorithms, analysis and AI applications
Matti Järvisalo · International Joint Conference on Artificial Intelligence · 2016
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.