Saikko, Paul

3 publications

IJCAI 2018 Reduced Cost Fixing for Maximum Satisfiability Fahiem Bacchus, Antti Hyttinen, Matti Järvisalo, Paul Saikko

IJCAI 2017 A Core-Guided Approach to Learning Optimal Causal Graphs Antti Hyttinen, Paul Saikko, Matti Järvisalo

IJCAI 2015 Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT Jeremias Berg, Paul Saikko, Matti Järvisalo