| LMHS: a SAT-IP hybrid MaxSAT solver P Saikko, J Berg, M Järvisalo International conference on theory and applications of satisfiability …, 2016 | 90 | 2016 |
| MaxPre: an extended MaxSAT preprocessor T Korhonen, J Berg, P Saikko, M Järvisalo International Conference on Theory and Applications of Satisfiability …, 2017 | 42 | 2017 |
| Reduced cost fixing in MaxSAT F Bacchus, A Hyttinen, M Järvisalo, P Saikko International Conference on Principles and Practice of Constraint …, 2017 | 40 | 2017 |
| Implicit Hitting Set Algorithms for Reasoning Beyond NP. P Saikko, JP Wallner, M Järvisalo KR, 104-113, 2016 | 35 | 2016 |
| Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT. J Berg, P Saikko, M Järvisalo IJCAI, 239-245, 2015 | 25 | 2015 |
| A core-guided approach to learning optimal causal graphs A Hyttinen, P Saikko, M Järvisalo International Joint Conferences on Artificial Intelligence, 645-651, 2017 | 19 | 2017 |
| A Hybrid Approach to Optimization in Answer Set Programming. P Saikko, C Dodaro, M Alviano, M Järvisalo KR, 32-41, 2018 | 14 | 2018 |
| Subsumed label elimination for maximum satisfiability J Berg, P Saikko, M Järvisalo ECAI 2016, 630-638, 2016 | 14 | 2016 |
| 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, AJ Hyttinen, MJ Järvisalo, PHA Saikko International Joint Conference on Artificial Intelligence, 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 of Computer Science, University of HelsinkiVahvistettu sähköpostiosoite verkkotunnuksessa helsinki.fi