LMHS: a SAT-IP hybrid MaxSAT solver P Saikko, J Berg, M Järvisalo International conference on theory and applications of satisfiability …, 2016 | 84 | 2016 |
Learning optimal bounded treewidth Bayesian networks via maximum satisfiability J Berg, M Järvisalo, B Malone Artificial Intelligence and Statistics, 86-95, 2014 | 71 | 2014 |
Core-boosted linear search for incomplete MaxSAT J Berg, E Demirović, PJ Stuckey Integration of Constraint Programming, Artificial Intelligence, and …, 2019 | 59 | 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 | 49 | 2020 |
Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability J Berg, M Järvisalo Artificial Intelligence 244, 110-142, 2017 | 41 | 2017 |
SAT-based approaches to treewidth computation: An evaluation J Berg, M Järvisalo 2014 IEEE 26th international conference on tools with artificial …, 2014 | 41 | 2014 |
MaxPre: an extended MaxSAT preprocessor T Korhonen, J Berg, P Saikko, M Järvisalo International Conference on Theory and Applications of Satisfiability …, 2017 | 36 | 2017 |
Applications of MaxSAT in data analysis J Berg, A Hyttinen, M Järvisalo Pragmatics of SAT, 2015 | 29 | 2015 |
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 |
Weight-aware core extraction in SAT-based MaxSAT solving J Berg, M Järvisalo International Conference on Principles and Practice of Constraint …, 2017 | 24 | 2017 |
Abstract cores in implicit hitting set MaxSat solving J Berg, F Bacchus, A Poole Theory and Applications of Satisfiability Testing–SAT 2020: 23rd …, 2020 | 23 | 2020 |
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 |
Core-guided and core-boosted search for CP G Gange, J Berg, E Demirović, PJ Stuckey Integration of Constraint Programming, Artificial Intelligence, and …, 2020 | 15 | 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 | 15 | 2019 |
Subsumed label elimination for maximum satisfiability J Berg, P Saikko, M Järvisalo ECAI 2016, 630-638, 2016 | 13 | 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 | 12 | 2019 |
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 |
Refined core relaxation for core-guided MaxSAT solving HE Ihalainen, J Berg, M Järvisalo 27th International Conference on Principles and Practice of Constraint …, 2021 | 11 | 2021 |
Certified core-guided MaxSAT solving J Berg, B Bogaerts, J Nordström, A Oertel, D Vandesande International Conference on Automated Deduction, 1-22, 2023 | 10 | 2023 |