Follow
Paul Saikko
Paul Saikko
Verified email at cs.helsinki.fi
Title
Cited by
Cited by
Year
LMHS: a SAT-IP hybrid MaxSAT solver
P Saikko, J Berg, M Järvisalo
International conference on theory and applications of satisfiability …, 2016
852016
MaxPre: an extended MaxSAT preprocessor
T Korhonen, J Berg, P Saikko, M Järvisalo
International Conference on Theory and Applications of Satisfiability …, 2017
372017
Implicit hitting set algorithms for reasoning beyond NP
P Saikko, JP Wallner, M Järvisalo
Fifteenth International Conference on the Principles of Knowledge …, 2016
352016
Reduced cost fixing in MaxSAT
F Bacchus, A Hyttinen, M Järvisalo, P Saikko
International Conference on Principles and Practice of Constraint …, 2017
342017
Improving the effectiveness of SAT-based preprocessing for MaxSAT
J Berg, P Saikko, M Järvisalo
Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015
252015
A Core-Guided Approach to Learning Optimal Causal Graphs.
A Hyttinen, P Saikko, M Järvisalo
IJCAI, 645-651, 2017
182017
Subsumed label elimination for maximum satisfiability
J Berg, P Saikko, M Järvisalo
ECAI 2016, 630-638, 2016
142016
Re-implementing and extending a hybrid SAT-IP approach to maximum satisfiability
P Saikko
Master’s thesis, University of Helsinki, 2015
132015
MaxSAT-based cutting planes for learning graphical models
P Saikko, B Malone, M Järvisalo
Integration of AI and OR Techniques in Constraint Programming: 12th …, 2015
132015
Re-using auxiliary variables for MaxSAT preprocessing
J Berg, P Saikko, M Järvisalo
2015 IEEE 27th International Conference on Tools with Artificial …, 2015
122015
A hybrid approach to optimization in answer set programming
P Saikko, C Dodaro, M Alviano, M Järvisalo
Sixteenth International Conference on Principles of Knowledge Representation …, 2018
102018
Reduced Cost Fixing for Maximum Satisfiability.
F Bacchus, A Hyttinen, M Järvisalo, P Saikko
IJCAI, 5209-5213, 2018
92018
Implicit Hitting Set Algorithms for Constraint Optimization.
P Saikko
University of Helsinki, Finland, 2019
52019
LMHS in MaxSAT Evaluation 2017
P Saikko, T Korhonen, J Berg, M Järvisalo
MaxSAT Evaluation 2017, 16, 0
1
ASP-HS: An answer set optimizer based on the implicit hitting set paradigm
P Saikko, C Dodaro, M Alviano, M Järvisalo
2018
LMHS 2017
PHA Saikko, MJ Järvisalo
2017
AbHS: A propositional abduction solver based on the implicit hitting set paradigm
PHA Saikko, JP Wallner, MJ Järvisalo
2016
Empirical Investigations into Bayesian Network Structure Learning
B Malone, M Järvisalo, K Kangas, P Saikko, M Koivisto, P Myllymäki
The system can't perform the operation now. Try again later.
Articles 1–18