Paul Saikko
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
11
Venues
7
Active years
2015–2018
Best venue rank
A*
Where they publish
Papers
11 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | IJCAI | Reduced Cost Fixing for Maximum Satisfiability. | Fahiem Bacchus, Antti Hyttinen, Matti Jrvisalo, Paul Saikko |
| 2018 | KR | A Hybrid Approach to Optimization in Answer Set Programming. | Paul Saikko, Carmine Dodaro, Mario Alviano, Matti Jrvisalo |
| 2017 | CP | Reduced Cost Fixing in MaxSAT. | Fahiem Bacchus, Antti Hyttinen, Matti Jrvisalo, Paul Saikko |
| 2017 | IJCAI | A Core-Guided Approach to Learning Optimal Causal Graphs. | Antti Hyttinen, Paul Saikko, Matti Jrvisalo |
| 2017 | SAT | MaxPre: An Extended MaxSAT Preprocessor. | Tuukka Korhonen, Jeremias Berg, Paul Saikko, Matti Jrvisalo |
| 2016 | ECAI | Subsumed Label Elimination for Maximum Satisfiability. | Jeremias Berg, Paul Saikko, Matti Jrvisalo |
| 2016 | KR | Implicit Hitting Set Algorithms for Reasoning Beyond NP. | Paul Saikko, Johannes P. Wallner, Matti Jrvisalo |
| 2016 | SAT | LMHS: A SAT-IP Hybrid MaxSAT Solver. | Paul Saikko, Jeremias Berg, Matti Jrvisalo |
| 2015 | CPAIOR | MaxSAT-Based Cutting Planes for Learning Graphical Models. | Paul Saikko, Brandon M. Malone, Matti Jrvisalo |
| 2015 | IJCAI | Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT. | Jeremias Berg, Paul Saikko, Matti Jrvisalo |
| 2015 | ICTAI | Re-using Auxiliary Variables for MaxSAT Preprocessing. | Jeremias Berg, Paul Saikko, Matti Jrvisalo |