MaxSAT-Based Cutting Planes for Learning Graphical Models. - Paul Saikko; Brandon M. Malone; Matti Järvisalo (CPAIOR, 2015)

Re-using Auxiliary Variables for MaxSAT Preprocessing. - Jeremias Berg; Paul Saikko; Matti Järvisalo (ICTAI, 2015)

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

Subsumed Label Elimination for Maximum Satisfiability. - Jeremias Berg; Paul Saikko; Matti Järvisalo (ECAI, 2016)

Implicit Hitting Set Algorithms for Reasoning Beyond NP. - Paul Saikko; Johannes Peter Wallner; Matti Järvisalo (KR, 2016)

LMHS: A SAT-IP Hybrid MaxSAT Solver. - Paul Saikko; Jeremias Berg; Matti Järvisalo (SAT, 2016)

Reduced Cost Fixing in MaxSAT. - Fahiem Bacchus; Antti Hyttinen; Matti Järvisalo; Paul Saikko (CP, 2017)

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

MaxPre: An Extended MaxSAT Preprocessor. - Tuukka Korhonen; Jeremias Berg; Paul Saikko; Matti Järvisalo (SAT, 2017)

Reduced Cost Fixing for Maximum Satisfiability. - Fahiem Bacchus; Antti Hyttinen; Matti Järvisalo; Paul Saikko (IJCAI, 2018)

A Hybrid Approach to Optimization in Answer Set Programming. - Paul Saikko; Carmine Dodaro; Mario Alviano; Matti Järvisalo (KR, 2018)

Implicit Hitting Set Algorithms for Constraint Optimization. - Paul Saikko (2019)