Paul Saikko

Re-implementing and Extending a Hybrid SAT-IP Approach to Maximum Satisfiability

Paul Saikko, 2015 .

Algorithmic Mechanism Design

Paul Saikko, Paul Saikko, 2014 .

Implicit Hitting Set Algorithms for Constraint Optimization

Paul Saikko, Paul Saikko, 2019 .

Implicit Hitting Set Algorithms for Reasoning Beyond NP

Matti Järvisalo, Johannes Peter Wallner, Paul Saikko, 2016, KR.

Reduced Cost Fixing for Maximum Satisfiability

Fahiem Bacchus, Matti Järvisalo, Antti Hyttinen, 2018, IJCAI.

Re-using Auxiliary Variables for MaxSAT Preprocessing

Matti Järvisalo, Jeremias Berg, Paul Saikko, 2015, 2015 IEEE 27th International Conference on Tools with Artificial Intelligence (ICTAI).

Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT

Matti Järvisalo, Jeremias Berg, Paul Saikko, 2015, IJCAI.

A Hybrid Approach to Optimization in Answer Set Programming

Mario Alviano, Matti Järvisalo, Carmine Dodaro, 2018, KR.

Subsumed Label Elimination for Maximum Satisfiability

Matti Järvisalo, Jeremias Berg, Paul Saikko, 2016, ECAI.

Reduced Cost Fixing for Maximum Satisfiability Bacchus , Fahiem

F. Bacchus, Antti Hyttinen, Paul Saikko, 2022 .

A Core-Guided Approach to Learning Optimal Causal Graphs

Matti Järvisalo, Antti Hyttinen, Paul Saikko, 2017, IJCAI.