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.
Welcome
Future Conferences
AI Journal Division
IJCAI Proceedings
Travel Grant Program
IJCAI Awards