Jeremias Berg

Cited by

	All	Since 2019
Citations	828	641
h-index	16	14
i10-index	24	21

140

105

201420152016201720182019202020212022202320249 23 42 53 51 62 93 107 117 118 134

Public access

View all

31 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Matti JärvisaloProfessor, University of HelsinkiVerified email at helsinki.fi
Paul SaikkoUniversity of HelsinkiVerified email at cs.helsinki.fi
Tuukka KorhonenUniversity of CopenhagenVerified email at di.ku.dk
Hannes IhalainenDoctoral Researcher, University of HelsinkiVerified email at helsinki.fi
Peter StuckeyFaculty of Information Technology, Monash UniversityVerified email at monash.edu
Emir DemirovićAssistant Professor of Computer Science, Delft University of TechnologyVerified email at tudelft.nl
Andreas NiskanenPostdoctoral Researcher, Department of Computer Science, University of HelsinkiVerified email at helsinki.fi
Fahiem BacchusProfessor of Computer Science, University of TorontoVerified email at cs.toronto.edu
Christoph JabsDoctoral Researcher, University of HelsinkiVerified email at helsinki.fi
Andy OertelDepartment of Computer Science, Lund UniversityVerified email at cs.lth.se
Jakob NordströmUniversity of Copenhagen and Lund UniversityVerified email at di.ku.dk
Bart BogaertsResearch Professor, DTAI lab, Department of Computer Science, KU LeuvenVerified email at kuleuven.be
Antti HyttinenSilo AIVerified email at alumni.helsinki.fi
Kerstin BunteRosalind Franklin Fellow at the University of GroningenVerified email at rug.nl
Graeme GangeMonash UniversityVerified email at monash.edu
Emilia OikarinenUniversity lecturer, docent, University of HelsinkiVerified email at helsinki.fi
Kai PuolamäkiProfessor, University of Helsinki, FinlandVerified email at helsinki.fi
Brandon MaloneNEC Laboratories Europe

Jeremias Berg

Academy Research Fellow, University of Helsinki

Verified email at helsinki.fi - Homepage

Artificial Intelligence Constraint Optimization Boolean Optimization Maximum Satisfiability


Title Sort by citations Sort by year Sort by 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	88	2016
Learning optimal bounded treewidth Bayesian networks via maximum satisfiability J Berg, M Järvisalo, B Malone Artificial Intelligence and Statistics, 86-95, 2014	75	2014
Core-boosted linear search for incomplete MaxSAT J Berg, E Demirović, PJ Stuckey Integration of Constraint Programming, Artificial Intelligence, and …, 2019	70	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	54	2020
SAT-based approaches to treewidth computation: An evaluation J Berg, M Järvisalo 2014 IEEE 26th international conference on tools with artificial …, 2014	44	2014
MaxPre: an extended MaxSAT preprocessor T Korhonen, J Berg, P Saikko, M Järvisalo International Conference on Theory and Applications of Satisfiability …, 2017	43	2017
Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability J Berg, M Järvisalo Artificial Intelligence 244, 110-142, 2017	43	2017
Applications of MaxSAT in data analysis OJ Berg, AJ Hyttinen, MJ Järvisalo International Conferences on Theory and Applications of Satisfiability …, 2019	35	2019
Abstract cores in implicit hitting set MaxSat solving J Berg, F Bacchus, A Poole Theory and Applications of Satisfiability Testing–SAT 2020: 23rd …, 2020	34	2020
Weight-aware core extraction in SAT-based MaxSAT solving J Berg, M Järvisalo International Conference on Principles and Practice of Constraint …, 2017	29	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
Certified core-guided MaxSAT solving J Berg, B Bogaerts, J Nordström, A Oertel, D Vandesande International Conference on Automated Deduction, 1-22, 2023	24	2023
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
Optimal correlation clustering via MaxSAT J Berg, M Järvisalo 2013 IEEE 13th international conference on data mining workshops, 750-757, 2013	23	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	17	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	17	2019
Unifying reasoning and core-guided search for maximum satisfiability J Berg, M Järvisalo Logics in Artificial Intelligence: 16th European Conference, JELIA 2019 …, 2019	15	2019
Clause redundancy and preprocessing in maximum satisfiability H Ihalainen, J Berg, M Järvisalo International Joint Conference on Automated Reasoning, 75-94, 2022	14	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	14	2022
Subsumed label elimination for maximum satisfiability J Berg, P Saikko, M Järvisalo ECAI 2016, 630-638, 2016	14	2016

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors