Optimal Correlation Clustering via MaxSAT. - Jeremias Berg; Matti Järvisalo (ICDM Workshops, 2013)

Optimal Neighborhood Preserving Visualization by Maximum Satisfiability. - Kerstin Bunte; Matti Järvisalo; Jeremias Berg; Petri Myllymäki; Jaakko Peltonen; Samuel Kaski (AAAI, 2014)

Learning Optimal Bounded Treewidth Bayesian Networks via Maximum Satisfiability. - Jeremias Berg; Matti Järvisalo; Brandon M. Malone (AISTATS, 2014)

SAT-Based Approaches to Treewidth Computation: An Evaluation. - Jeremias Berg; Matti Järvisalo (ICTAI, 2014)

Re-using Auxiliary Variables for MaxSAT Preprocessing. - Jeremias Berg; Paul Saikko; Matti Järvisalo (ICTAI, 2015)

Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT. - Jeremias Berg; Paul Saikko; Matti Järvisalo (IJCAI, 2015)

Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving. - Jeremias Berg; Matti Järvisalo (CP, 2016)

Subsumed Label Elimination for Maximum Satisfiability. - Jeremias Berg; Paul Saikko; Matti Järvisalo (ECAI, 2016)

LMHS: A SAT-IP Hybrid MaxSAT Solver. - Paul Saikko; Jeremias Berg; Matti Järvisalo (SAT, 2016)

Weight-Aware Core Extraction in SAT-Based MaxSAT Solving. - Jeremias Berg; Matti Järvisalo (CP, 2017)

Minimum-Width Confidence Bands via Constraint Optimization. - Jeremias Berg; Emilia Oikarinen; Matti Järvisalo; Kai Puolamäki (CP, 2017)

MaxPre: An Extended MaxSAT Preprocessor. - Tuukka Korhonen; Jeremias Berg; Paul Saikko; Matti Järvisalo (SAT, 2017)

Cost-optimal constrained correlation clustering via weighted partial Maximum Satisfiability. - Jeremias Berg; Matti Järvisalo (Artif. Intell., 2017)

Applications of MaxSAT in Data Analysis. - Jeremias Berg; Antti Hyttinen; Matti Järvisalo (POS@SAT, 2018)

Solving Optimization Problems via Maximum Satisfiability: Encodings and Re-Encodings. - Jeremias Berg (2018)

Core-Boosted Linear Search for Incomplete MaxSAT. - Jeremias Berg; Emir Demirovic; Peter J. Stuckey (CPAIOR, 2019)

Enumerating Potential Maximal Cliques via SAT and ASP. - Tuukka Korhonen; Jeremias Berg; Matti Järvisalo (IJCAI, 2019)

Unifying Reasoning and Core-Guided Search for Maximum Satisfiability. - Jeremias Berg; Matti Järvisalo (JELIA, 2019)

Solving Graph Problems via Potential Maximal Cliques: An Experimental Evaluation of the Bouchitté-Todinca Algorithm. - Tuukka Korhonen; Jeremias Berg; Matti Järvisalo (ACM J. Exp. Algorithmics, 2019)

Core-Guided and Core-Boosted Search for CP. - Graeme Gange; Jeremias Berg; Emir Demirovic; Peter J. Stuckey (CPAIOR, 2020)

Preprocessing in Incomplete MaxSAT Solving. - Marcus Leivo; Jeremias Berg; Matti Järvisalo (ECAI, 2020)

Abstract Cores in Implicit Hitting Set MaxSat Solving. - Jeremias Berg; Fahiem Bacchus; Alex Poole (SAT, 2020)

Refined Core Relaxation for Core-Guided MaxSAT Solving. - Hannes Ihalainen; Jeremias Berg; Matti Järvisalo (CP, 2021)

Enabling Incrementality in the Implicit Hitting Set Approach to MaxSAT Under Changing Weights. - Andreas Niskanen; Jeremias Berg; Matti Järvisalo (CP, 2021)

Pseudo-Boolean Optimization by Implicit Hitting Sets. - Pavel Smirnov 003; Jeremias Berg; Matti Järvisalo (CP, 2021)

Abstract Cores in Implicit Hitting Set MaxSat Solving (Extended Abstract). - Jeremias Berg; Fahiem Bacchus; Alex Poole (IJCAI, 2021)

Clause Redundancy and Preprocessing in Maximum Satisfiability. - Hannes Ihalainen; Jeremias Berg; Matti Järvisalo (IJCAR, 2022)

Computing Smallest MUSes of Quantified Boolean Formulas. - Andreas Niskanen; Jere Mustonen; Jeremias Berg; Matti Järvisalo (LPNMR, 2022)

Improvements to the Implicit Hitting Set Approach to Pseudo-Boolean Optimization. - Pavel Smirnov 003; Jeremias Berg; Matti Järvisalo (SAT, 2022)

MaxSAT-Based Bi-Objective Boolean Optimization. - Christoph Jabs; Jeremias Berg; Andreas Niskanen; Matti Järvisalo (SAT, 2022)

Incremental Maximum Satisfiability. - Andreas Niskanen; Jeremias Berg; Matti Järvisalo (SAT, 2022)

Certified Core-Guided MaxSAT Solving. - Jeremias Berg; Bart Bogaerts 001; Jakob Nordström; Andy Oertel; Dieter Vandesande (CADE, 2023)

Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization. - Christoph Jabs; Jeremias Berg; Hannes Ihalainen; Matti Järvisalo (CP, 2023)

Oracle-Based Local Search for Pseudo-Boolean Optimization. - Markus Iser; Jeremias Berg; Matti Järvisalo (ECAI, 2023)

Unifying Core-Guided and Implicit Hitting Set Based Optimization. - Hannes Ihalainen; Jeremias Berg; Matti Järvisalo (IJCAI, 2023)

Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability. - Jeremias Berg; Bart Bogaerts 001; Jakob Nordström; Andy Oertel; Tobias Paxian; Dieter Vandesande (CP, 2024)

Core Boosting in SAT-Based Multi-objective Optimization. - Christoph Jabs; Jeremias Berg; Matti Järvisalo (CPAIOR (2), 2024)

Certified MaxSAT Preprocessing. - Hannes Ihalainen; Andy Oertel; Yong Kiam Tan; Jeremias Berg; Matti Järvisalo; Magnus O. Myreen; Jakob Nordström (IJCAR (1), 2024)

Certified MaxSAT Preprocessing. - Hannes Ihalainen; Andy Oertel; Yong Kiam Tan; Jeremias Berg; Matti Järvisalo; Jakob Nordström (CoRR, 2024)

Unifying SAT-Based Approaches to Maximum Satisfiability Solving. - Hannes Ihalainen; Jeremias Berg; Matti Järvisalo (J. Artif. Intell. Res., 2024)

From Single-Objective to Bi-Objective Maximum Satisfiability Solving. - Christoph Jabs; Jeremias Berg; Andreas Niskanen; Matti Järvisalo (J. Artif. Intell. Res., 2024)

Symmetric Core Learning for Pseudo-Boolean Optimization by Implicit Hitting Sets. - Hannes Ihalainen; Jeremias Berg; Matti Järvisalo; Bart Bogaerts 001 (CP, 2025)

SLS-Enhanced Core-Boosted Linear Search for Anytime Maximum Satisfiability. - Ole Lübke; Jeremias Berg (CP, 2025)

Certifying Pareto-Optimality in Multi Objective Maximum Satisfiability. - Christoph Jabs; Jeremias Berg; Bart Bogaerts 001; Matti Järvisalo (TACAS (2), 2025)