| LMHS: a SAT-IP hybrid MaxSAT solver P Saikko, J Berg, M Järvisalo International conference on theory and applications of satisfiability …, 2016 | 86 | 2016 |
| Learning optimal bounded treewidth Bayesian networks via maximum satisfiability J Berg, M Järvisalo, B Malone Artificial Intelligence and Statistics, 86-95, 2014 | 74 | 2014 |
| Core-boosted linear search for incomplete MaxSAT J Berg, E Demirović, PJ Stuckey Integration of Constraint Programming, Artificial Intelligence, and …, 2019 | 63 | 2019 |
| MaxSAT evaluation 2020: solver and benchmark descriptions F Bacchus, J Berg, M Järvisalo, R Martins Department of Computer Science, University of Helsinki, 2020 | 52 | 2020 |
| SAT-based approaches to treewidth computation: An evaluation J Berg, M Järvisalo 2014 IEEE 26th international conference on tools with artificial …, 2014 | 43 | 2014 |
| Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability J Berg, M Järvisalo Artificial Intelligence 244, 110-142, 2017 | 42 | 2017 |
| MaxPre: an extended MaxSAT preprocessor T Korhonen, J Berg, P Saikko, M Järvisalo International Conference on Theory and Applications of Satisfiability …, 2017 | 37 | 2017 |
| Applications of MaxSAT in data analysis J Berg, A Hyttinen, M Järvisalo Pragmatics of SAT, 2015 | 33 | 2015 |
| Abstract cores in implicit hitting set MaxSat solving J Berg, F Bacchus, A Poole Theory and Applications of Satisfiability Testing–SAT 2020: 23rd …, 2020 | 30 | 2020 |
| Weight-aware core extraction in SAT-based MaxSAT solving J Berg, M Järvisalo International Conference on Principles and Practice of Constraint …, 2017 | 26 | 2017 |
| 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 |
| 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 | 23 | 2014 |
| Optimal correlation clustering via MaxSAT J Berg, M Järvisalo 2013 IEEE 13th international conference on data mining workshops, 750-757, 2013 | 20 | 2013 |
| Certified core-guided MaxSAT solving J Berg, B Bogaerts, J Nordström, A Oertel, D Vandesande International Conference on Automated Deduction, 1-22, 2023 | 18 | 2023 |
| Core-guided and core-boosted search for CP G Gange, J Berg, E Demirović, PJ Stuckey Integration of Constraint Programming, Artificial Intelligence, and …, 2020 | 16 | 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 | 16 | 2019 |
| Subsumed label elimination for maximum satisfiability J Berg, P Saikko, M Järvisalo ECAI 2016, 630-638, 2016 | 14 | 2016 |
| Unifying reasoning and core-guided search for maximum satisfiability J Berg, M Järvisalo Logics in Artificial Intelligence: 16th European Conference, JELIA 2019 …, 2019 | 13 | 2019 |
| Clause redundancy and preprocessing in maximum satisfiability H Ihalainen, J Berg, M Järvisalo International Joint Conference on Automated Reasoning, 75-94, 2022 | 12 | 2022 |
| 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 | 12 | 2022 |
Matti JärvisaloProfessor, University of Helsinki在 helsinki.fi 的电子邮件经过验证
