| LMHS: a SAT-IP hybrid MaxSAT solver P Saikko, J Berg, M Järvisalo International conference on theory and applications of satisfiability …, 2016 | 103 | 2016 |
| Core-boosted linear search for incomplete MaxSAT J Berg, E Demirović, PJ Stuckey International conference on integration of constraint programming …, 2019 | 85 | 2019 |
| Learning optimal bounded treewidth Bayesian networks via maximum satisfiability J Berg, M Järvisalo, B Malone Artificial Intelligence and Statistics, 86-95, 2014 | 77 | 2014 |
| Maxsat evaluation 2021: solver and benchmark descriptions F Bacchus, J Berg, M Järvisalo, R Martins Department of Computer Science, University of Helsinki, 2021 | 67 | 2021 |
| Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability J Berg, M Järvisalo Artificial Intelligence 244, 110-142, 2017 | 48 | 2017 |
| Certified core-guided MaxSAT solving J Berg, B Bogaerts, J Nordström, A Oertel, D Vandesande International Conference on Automated Deduction, 1-22, 2023 | 45 | 2023 |
| SAT-based approaches to treewidth computation: An evaluation J Berg, M Järvisalo 2014 IEEE 26th international conference on tools with artificial …, 2014 | 45 | 2014 |
| MaxPre: an extended MaxSAT preprocessor T Korhonen, J Berg, P Saikko, M Järvisalo International Conference on Theory and Applications of Satisfiability …, 2017 | 44 | 2017 |
| Abstract cores in implicit hitting set MaxSat solving J Berg, F Bacchus, A Poole International Conference on Theory and Applications of Satisfiability …, 2020 | 43 | 2020 |
| Applications of MaxSAT in data analysis OJ Berg, AJ Hyttinen, MJ Järvisalo International Conferences on Theory and Applications of Satisfiability …, 2019 | 40 | 2019 |
| Weight-aware core extraction in SAT-based MaxSAT solving J Berg, M Järvisalo International Conference on Principles and Practice of Constraint …, 2017 | 38 | 2017 |
| Optimal correlation clustering via MaxSAT J Berg, M Järvisalo 2013 IEEE 13th international conference on data mining workshops, 750-757, 2013 | 27 | 2013 |
| Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT. J Berg, P Saikko, M Järvisalo IJCAI, 239-245, 2015 | 25 | 2015 |
| Optimal neighborhood preserving visualization by maximum satisfiability K Bunte, M Järvisalo, J Berg, P Myllymäki, J Peltonen, S Kaski Proceedings of the AAAI Conference on Artificial Intelligence 28 (1), 2014 | 24 | 2014 |
| MaxSAT evaluation 2024: Solver and benchmark descriptions J Berg, M Järvisalo, R Martins, A Niskanen, T Paxian Department of Computer Science, University of Helsinki, 2024 | 23 | 2024 |
| Improvements to the implicit hitting set approach to pseudo-boolean optimization P Smirnov, J Berg, M Järvisalo 25th International Conference on Theory and Applications of Satisfiability …, 2022 | 23 | 2022 |
| Clause redundancy and preprocessing in maximum satisfiability H Ihalainen, J Berg, M Järvisalo International Joint Conference on Automated Reasoning, 75-94, 2022 | 21 | 2022 |
| Core-guided and core-boosted search for CP G Gange, J Berg, E Demirović, PJ Stuckey International Conference on Integration of Constraint Programming …, 2020 | 21 | 2020 |
| Solving Graph Problems via Potential Maximal Cliques: An Experimental Evaluation of the Bouchitté--Todinca Algorithm T Korhonen, J Berg, M Järvisalo Journal of Experimental Algorithmics (JEA) 24, 1-19, 2019 | 19 | 2019 |
| Refined core relaxation for core-guided MaxSAT solving H Ihalainen, J Berg, M Järvisalo 27th International Conference on Principles and Practice of Constraint …, 2021 | 15 | 2021 |
Matti JärvisaloProfessor of Computer Science, University of HelsinkiVerified email at helsinki.fi
