Follow
Jeremias Berg
Title
Cited by
Cited by
Year
LMHS: a SAT-IP hybrid MaxSAT solver
P Saikko, J Berg, M Järvisalo
International conference on theory and applications of satisfiability …, 2016
842016
Learning optimal bounded treewidth Bayesian networks via maximum satisfiability
J Berg, M Järvisalo, B Malone
Artificial Intelligence and Statistics, 86-95, 2014
712014
Core-boosted linear search for incomplete MaxSAT
J Berg, E Demirović, PJ Stuckey
Integration of Constraint Programming, Artificial Intelligence, and …, 2019
582019
MaxSAT evaluation 2020: solver and benchmark descriptions
F Bacchus, J Berg, M Järvisalo, R Martins
Department of Computer Science, University of Helsinki, 2020
502020
Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability
J Berg, M Järvisalo
Artificial Intelligence 244, 110-142, 2017
412017
SAT-based approaches to treewidth computation: An evaluation
J Berg, M Järvisalo
2014 IEEE 26th international conference on tools with artificial …, 2014
412014
MaxPre: an extended MaxSAT preprocessor
T Korhonen, J Berg, P Saikko, M Järvisalo
International Conference on Theory and Applications of Satisfiability …, 2017
352017
Applications of MaxSAT in data analysis
J Berg, A Hyttinen, M Järvisalo
Pragmatics of SAT, 2015
292015
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
252015
Weight-aware core extraction in SAT-based MaxSAT solving
J Berg, M Järvisalo
International Conference on Principles and Practice of Constraint …, 2017
242017
Abstract cores in implicit hitting set MaxSat solving
J Berg, F Bacchus, A Poole
Theory and Applications of Satisfiability Testing–SAT 2020: 23rd …, 2020
222020
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
222014
Optimal correlation clustering via MaxSAT
J Berg, M Järvisalo
2013 IEEE 13th international conference on data mining workshops, 750-757, 2013
202013
Core-guided and core-boosted search for CP
G Gange, J Berg, E Demirović, PJ Stuckey
Integration of Constraint Programming, Artificial Intelligence, and …, 2020
152020
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
152019
Subsumed label elimination for maximum satisfiability
J Berg, P Saikko, M Järvisalo
ECAI 2016, 630-638, 2016
122016
Re-using auxiliary variables for MaxSAT preprocessing
J Berg, P Saikko, M Järvisalo
2015 IEEE 27th International Conference on Tools with Artificial …, 2015
122015
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
112021
Unifying reasoning and core-guided search for maximum satisfiability
J Berg, M Järvisalo
Logics in Artificial Intelligence: 16th European Conference, JELIA 2019 …, 2019
112019
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
102022
The system can't perform the operation now. Try again later.
Articles 1–20