Jeremias Berg
TitleCited byYear
Learning optimal bounded treewidth Bayesian networks via maximum satisfiability
J Berg, M Järvisalo, B Malone
Artificial Intelligence and Statistics, 86-95, 2014
482014
LMHS: a SAT-IP hybrid MaxSAT solver
P Saikko, J Berg, M Järvisalo
International conference on theory and applications of satisfiability …, 2016
352016
SAT-based approaches to treewidth computation: An evaluation
J Berg, M Järvisalo
2014 IEEE 26th International Conference on Tools with Artificial …, 2014
242014
Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability
J Berg, M Järvisalo
Artificial Intelligence 244, 110-142, 2017
202017
Optimal neighborhood preserving visualization by maximum satisfiability
K Bunte, M Järvisalo, J Berg, P Myllymäki, J Peltonen, S Kaski
Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014
172014
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
152015
Optimal correlation clustering via MaxSAT
J Berg, M Järvisalo
2013 IEEE 13th International Conference on Data Mining Workshops, 750-757, 2013
142013
Applications of MaxSAT in data analysis
J Berg, A Hyttinen, M Järvisalo
Pragmatics of SAT, 2015
102015
MaxPre: an extended MaxSAT preprocessor
T Korhonen, J Berg, P Saikko, M Järvisalo
International Conference on Theory and Applications of Satisfiability …, 2017
82017
Re-using auxiliary variables for MaxSAT preprocessing
J Berg, P Saikko, M Järvisalo
2015 IEEE 27th International Conference on Tools with Artificial …, 2015
62015
Weight-aware core extraction in SAT-based MaxSAT solving
J Berg, M Järvisalo
International Conference on Principles and Practice of Constraint …, 2017
32017
Subsumed label elimination for maximum satisfiability
J Berg, P Saikko, M Järvisalo
Proceedings of the Twenty-second European Conference on Artificial …, 2016
32016
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), 1.9, 2019
12019
Minimum-width confidence bands via constraint optimization
J Berg, E Oikarinen, M Järvisalo, K Puolamäki
International Conference on Principles and Practice of Constraint …, 2017
12017
MaxSAT Benchmarks based on Determining Generalized Hypertree-width
J Berg, N Lodha, M Järvisalo, S Szeider
MaxSAT Evaluation 2017, 22, 2017
12017
Core-Boosted Linear Search for Incomplete MaxSAT
J Berg, E Demirović, PJ Stuckey
International Conference on Integration of Constraint Programming …, 2019
2019
Unifying Reasoning and Core-Guided Search for Maximum Satisfiability
J Berg, M Järvisalo
European Conference on Logics in Artificial Intelligence, 287-303, 2019
2019
Applications of MaxSAT in Data Analysis
J Berg, A Hyttinen, M Järvisalo
Proceedings of Pragmatics of SAT 59, 50-64, 2019
2019
Solving Optimization Problems via Maximum Satisfiability: Encodings and Re-Encodings
J Berg
Helsingin yliopisto, 2018
2018
Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving
J Berg, M Järvisalo
International Conference on Principles and Practice of Constraint …, 2016
2016
The system can't perform the operation now. Try again later.
Articles 1–20