| LMHS: a SAT-IP hybrid MaxSAT solver P Saikko, J Berg, M Järvisalo International conference on theory and applications of satisfiability …, 2016 | 88 | 2016 |
| MaxPre: an extended MaxSAT preprocessor T Korhonen, J Berg, P Saikko, M Järvisalo International Conference on Theory and Applications of Satisfiability …, 2017 | 43 | 2017 |
| Reduced cost fixing in MaxSAT F Bacchus, A Hyttinen, M Järvisalo, P Saikko International Conference on Principles and Practice of Constraint …, 2017 | 38 | 2017 |
| Implicit hitting set algorithms for reasoning beyond NP P Saikko, JP Wallner, M Järvisalo Fifteenth International Conference on the Principles of Knowledge …, 2016 | 34 | 2016 |
| 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 | 25 | 2015 |
| A Core-Guided Approach to Learning Optimal Causal Graphs. A Hyttinen, P Saikko, M Järvisalo IJCAI, 645-651, 2017 | 19 | 2017 |
| Subsumed label elimination for maximum satisfiability J Berg, P Saikko, M Järvisalo ECAI 2016, 630-638, 2016 | 14 | 2016 |
| 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 | 13 | 2018 |
| Re-implementing and extending a hybrid SAT-IP approach to maximum satisfiability P Saikko Master’s thesis, University of Helsinki, 2015 | 13 | 2015 |
| 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 | 13 | 2015 |
| Re-using auxiliary variables for MaxSAT preprocessing J Berg, P Saikko, M Järvisalo 2015 IEEE 27th International Conference on Tools with Artificial …, 2015 | 12 | 2015 |
| Reduced Cost Fixing for Maximum Satisfiability. F Bacchus, A Hyttinen, M Järvisalo, P Saikko IJCAI, 5209-5213, 2018 | 9 | 2018 |
| Implicit Hitting Set Algorithms for Constraint Optimization. P Saikko University of Helsinki, Finland, 2019 | 6 | 2019 |
| 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 | | |
Matti JärvisaloProfessor, University of HelsinkiVerified email at helsinki.fi
