Järvisalo gives AAAI-16 tutorial on MaxSAT

Matti Järvisalo gives the 4-h tutorial Algorithms for Maximum Satisfiability with Applications to AI at AAAI-16, 30th AAAI Conference on Artificial Intelligence, on February 13, 2016 together with Fahiem Bacchus (University of Toronto).

Together with IJCAI, the AAAI conference series is the main conference on AI world-wide.