Paul Saikko

Publication Activity (10 Years)

Years Active: 2015-2018
Publications (10 Years): 8

Top Topics

Maximum Satisfiability

Graphical Models

Top Venues

Publications

Paul Saikko, Carmine Dodaro, Mario Alviano, Matti Järvisalo
A Hybrid Approach to Optimization in Answer Set Programming. KR (2018)
Fahiem Bacchus, Antti Hyttinen, Matti Järvisalo, Paul Saikko
Reduced Cost Fixing for Maximum Satisfiability. IJCAI (2018)
Antti Hyttinen, Paul Saikko, Matti Järvisalo
A Core-Guided Approach to Learning Optimal Causal Graphs. IJCAI (2017)
Tuukka Korhonen, Jeremias Berg, Paul Saikko, Matti Järvisalo
MaxPre: An Extended MaxSAT Preprocessor. SAT (2017)
Fahiem Bacchus, Antti Hyttinen, Matti Järvisalo, Paul Saikko
Reduced Cost Fixing in MaxSAT. CP (2017)
Paul Saikko, Jeremias Berg, Matti Järvisalo
LMHS: A SAT-IP Hybrid MaxSAT Solver. SAT (2016)
Paul Saikko, Johannes Peter Wallner, Matti Järvisalo
Implicit Hitting Set Algorithms for Reasoning Beyond NP. KR (2016)
Jeremias Berg, Paul Saikko, Matti Järvisalo
Subsumed Label Elimination for Maximum Satisfiability. ECAI (2016)
Jeremias Berg, Paul Saikko, Matti Järvisalo
Re-using Auxiliary Variables for MaxSAT Preprocessing. ICTAI (2015)
Paul Saikko, Brandon M. Malone, Matti Järvisalo
MaxSAT-Based Cutting Planes for Learning Graphical Models. CPAIOR (2015)
Jeremias Berg, Paul Saikko, Matti Järvisalo
Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT. IJCAI (2015)