Paul Saikko

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