| 2026 | AAAI | Ordered Objectives in Maximum Satisfiability. | Jeremias Berg, Andr Schidler, Matti Jrvisalo |
| 2026 | AAAI | Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach. | Hannes Ihalainen, Dieter Vandesande, Andr Schidler, Jeremias Berg, Bart Bogaerts, Matti Jrvisalo |
| 2026 | CPAIOR | Multi-objective Maximum Satisfiability by Single-Objective Implicit Hitting Set Optimization. | Christoph Jabs, Jeremias Berg, Matti Jrvisalo |
| 2026 | SAT | HitPBO: An Implicit Hitting Set Solver for Pseudo-Boolean Optimization (Tool Paper). | Hannes Ihalainen, Dieter Vandesande, Andr Schidler, Jeremias Berg, Matti Jrvisalo |
| 2026 | SAT | Scuttle: A System for Multi-Objective MaxSAT (Tool Paper). | Christoph Jabs, Jeremias Berg, Matti Jrvisalo |
| 2025 | CP | Symmetric Core Learning for Pseudo-Boolean Optimization by Implicit Hitting Sets. | Hannes Ihalainen, Jeremias Berg, Matti Jrvisalo, Bart Bogaerts |
| 2025 | CP | SLS-Enhanced Core-Boosted Linear Search for Anytime Maximum Satisfiability. | Ole Lbke, Jeremias Berg |
| 2025 | JELIA | Engineering and Evaluating Multi-objective Pseudo-Boolean Optimizers. | Christoph Jabs, Jeremias Berg, Matti Jrvisalo |
| 2025 | SoCS | From Scalable SAT to MaxSAT: Massively Parallel Solution Improving Search. | Dominik Schreiber, Christoph Jabs, Jeremias Berg |
| 2025 | TACAS | Certifying Pareto-Optimality in Multi Objective Maximum Satisfiability. | Christoph Jabs, Jeremias Berg, Bart Bogaerts, Matti Jrvisalo |
| 2024 | CP | Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability. | Jeremias Berg, Bart Bogaerts, Jakob Nordstrm, Andy Oertel, Tobias Paxian, Dieter Vandesande |
| 2024 | CPAIOR | Core Boosting in SAT-Based Multi-objective Optimization. | Christoph Jabs, Jeremias Berg, Matti Jrvisalo |
| 2024 | IJCAR | Certified MaxSAT Preprocessing. | Hannes Ihalainen, Andy Oertel, Yong Kiam Tan, Jeremias Berg, Matti Jrvisalo, Magnus O. Myreen, Jakob Nordstrm |
| 2023 | CADE | Certified Core-Guided MaxSAT Solving. | Jeremias Berg, Bart Bogaerts, Jakob Nordstrm, Andy Oertel, Dieter Vandesande |
| 2023 | CP | Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization. | Christoph Jabs, Jeremias Berg, Hannes Ihalainen, Matti Jrvisalo |
| 2023 | ECAI | Oracle-Based Local Search for Pseudo-Boolean Optimization. | Ashlin Iser, Jeremias Berg, Matti Jrvisalo |
| 2023 | IJCAI | Unifying Core-Guided and Implicit Hitting Set Based Optimization. | Hannes Ihalainen, Jeremias Berg, Matti Jrvisalo |
| 2022 | CADE | Clause Redundancy and Preprocessing in Maximum Satisfiability. | Hannes Ihalainen, Jeremias Berg, Matti Jrvisalo |
| 2022 | LPNMR | Computing Smallest MUSes of Quantified Boolean Formulas. | Andreas Niskanen, Jere Mustonen, Jeremias Berg, Matti Jrvisalo |
| 2022 | SAT | Improvements to the Implicit Hitting Set Approach to Pseudo-Boolean Optimization. | Pavel Smirnov, Jeremias Berg, Matti Jrvisalo |
| 2022 | SAT | MaxSAT-Based Bi-Objective Boolean Optimization. | Christoph Jabs, Jeremias Berg, Andreas Niskanen, Matti Jrvisalo |
| 2022 | SAT | Incremental Maximum Satisfiability. | Andreas Niskanen, Jeremias Berg, Matti Jrvisalo |
| 2021 | CP | Refined Core Relaxation for Core-Guided MaxSAT Solving. | Hannes Ihalainen, Jeremias Berg, Matti Jrvisalo |
| 2021 | CP | Enabling Incrementality in the Implicit Hitting Set Approach to MaxSAT Under Changing Weights. | Andreas Niskanen, Jeremias Berg, Matti Jrvisalo |
| 2021 | CP | Pseudo-Boolean Optimization by Implicit Hitting Sets. | Pavel Smirnov, Jeremias Berg, Matti Jrvisalo |
| 2021 | IJCAI | Abstract Cores in Implicit Hitting Set MaxSat Solving (Extended Abstract). | Jeremias Berg, Fahiem Bacchus, Alex Poole |
| 2020 | CPAIOR | Core-Guided and Core-Boosted Search for CP. | Graeme Gange, Jeremias Berg, Emir Demirovic, Peter J. Stuckey |
| 2020 | ECAI | Preprocessing in Incomplete MaxSAT Solving. | Marcus Leivo, Jeremias Berg, Matti Jrvisalo |
| 2020 | SAT | Abstract Cores in Implicit Hitting Set MaxSat Solving. | Jeremias Berg, Fahiem Bacchus, Alex Poole |
| 2019 | CPAIOR | Core-Boosted Linear Search for Incomplete MaxSAT. | Jeremias Berg, Emir Demirovic, Peter J. Stuckey |
| 2019 | IJCAI | Enumerating Potential Maximal Cliques via SAT and ASP. | Tuukka Korhonen, Jeremias Berg, Matti Jrvisalo |
| 2019 | JELIA | Unifying Reasoning and Core-Guided Search for Maximum Satisfiability. | Jeremias Berg, Matti Jrvisalo |
| 2018 | SAT | Applications of MaxSAT in Data Analysis. | Jeremias Berg, Antti Hyttinen, Matti Jrvisalo |
| 2017 | CP | Weight-Aware Core Extraction in SAT-Based MaxSAT Solving. | Jeremias Berg, Matti Jrvisalo |
| 2017 | CP | Minimum-Width Confidence Bands via Constraint Optimization. | Jeremias Berg, Emilia Oikarinen, Matti Jrvisalo, Kai Puolamki |
| 2017 | SAT | MaxPre: An Extended MaxSAT Preprocessor. | Tuukka Korhonen, Jeremias Berg, Paul Saikko, Matti Jrvisalo |
| 2016 | CP | Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving. | Jeremias Berg, Matti Jrvisalo |
| 2016 | ECAI | Subsumed Label Elimination for Maximum Satisfiability. | Jeremias Berg, Paul Saikko, Matti Jrvisalo |
| 2016 | SAT | LMHS: A SAT-IP Hybrid MaxSAT Solver. | Paul Saikko, Jeremias Berg, Matti Jrvisalo |
| 2015 | IJCAI | Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT. | Jeremias Berg, Paul Saikko, Matti Jrvisalo |
| 2015 | ICTAI | Re-using Auxiliary Variables for MaxSAT Preprocessing. | Jeremias Berg, Paul Saikko, Matti Jrvisalo |
| 2014 | AAAI | Optimal Neighborhood Preserving Visualization by Maximum Satisfiability. | Kerstin Bunte, Matti Jrvisalo, Jeremias Berg, Petri Myllymki, Jaakko Peltonen, Samuel Kaski |
| 2014 | AISTATS | Learning Optimal Bounded Treewidth Bayesian Networks via Maximum Satisfiability. | Jeremias Berg, Matti Jrvisalo, Brandon M. Malone |
| 2014 | ICTAI | SAT-Based Approaches to Treewidth Computation: An Evaluation. | Jeremias Berg, Matti Jrvisalo |
| 2013 | ICDM | Optimal Correlation Clustering via MaxSAT. | Jeremias Berg, Matti Jrvisalo |