Paul Saikko

According to our database, Paul Saikko authored at least 12 papers between 2015 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

Implicit Hitting Set Algorithms for Constraint Optimization.

Paul Saikko

PhD thesis, 2019

2018

A Hybrid Approach to Optimization in Answer Set Programming.

Paul Saikko, Carmine Dodaro, Mario Alviano, Matti Järvisalo

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, 2018

Reduced Cost Fixing for Maximum Satisfiability.

Fahiem Bacchus, Antti Hyttinen, Matti Järvisalo, Paul Saikko

Proceedings of the Twenty-Seventh International Joint Conference on Artificial Intelligence, 2018

2017

MaxPre: An Extended MaxSAT Preprocessor.

Tuukka Korhonen, Jeremias Berg, Paul Saikko, Matti Järvisalo

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

A Core-Guided Approach to Learning Optimal Causal Graphs.

Antti Hyttinen, Paul Saikko, Matti Järvisalo

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

Reduced Cost Fixing in MaxSAT.

Fahiem Bacchus, Antti Hyttinen, Matti Järvisalo, Paul Saikko

Proceedings of the Principles and Practice of Constraint Programming, 2017

2016

LMHS: A SAT-IP Hybrid MaxSAT Solver.

Paul Saikko, Jeremias Berg, Matti Järvisalo

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

Implicit Hitting Set Algorithms for Reasoning Beyond NP.

Paul Saikko, Johannes Peter Wallner, Matti Järvisalo

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 2016

Subsumed Label Elimination for Maximum Satisfiability.

Jeremias Berg, Paul Saikko, Matti Järvisalo

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

2015

Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT.

Jeremias Berg, Paul Saikko, Matti Järvisalo

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Re-using Auxiliary Variables for MaxSAT Preprocessing.

Jeremias Berg, Paul Saikko, Matti Järvisalo

Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

MaxSAT-Based Cutting Planes for Learning Graphical Models.

Paul Saikko, Brandon M. Malone, Matti Järvisalo

Proceedings of the Integration of AI and OR Techniques in Constraint Programming, 2015