publications

in reversed chronological order.

2025

  1. From Scalable SAT to MaxSAT: Massively Parallel Solution Improving Search
    Dominik Schreiber, Christoph Jabs, and Jeremias Berg
    Proceedings of the International Symposium on Combinatorial Search, Jul 2025
  2. Symmetric Core Learning for Pseudo-Boolean Optimization by Implicit Hitting Sets
    Hannes Ihalainen, Jeremias Berg, Matti Järvisalo, and 1 more author
    In 31st International Conference on Principles and Practice of Constraint Programming, CP 2025, August 10-15, 2025, Glasgow, Scotland, Jul 2025
  3. SLS-Enhanced Core-Boosted Linear Search for Anytime Maximum Satisfiability
    Ole Lübke, and Jeremias Berg
    In 31st International Conference on Principles and Practice of Constraint Programming, CP 2025, August 10-15, 2025, Glasgow, Scotland, Jul 2025
  4. 28th International Conference on Theory and Applications of Satisfiability Testing, SAT 2025, August 12-15, 2025, Glasgow, Scotland
    Jul 2025
  5. Certifying Pareto-Optimality in Multi-Objective Maximum Satisfiability
    Christoph Jabs, Jeremias Berg, Bart Bogaerts, and 1 more author
    In 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Jul 2025

2024

  1. Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability
    Jeremias Berg, Bart Bogaerts, Jakob Nordström, and 3 more authors
    In 30th International Conference on Principles and Practice of Constraint Programming, CP 2024, September 2-6, 2024, Girona, Spain,, Jul 2024
  2. From Single-Objective to Bi-Objective Maximum Satisfiability Solving
    Christoph Jabs, Jeremias Berg, Andreas Niskanen, and 1 more author
    Journal of Artificial Intelligence Research, Jul 2024
  3. Unifying SAT-Based Approaches to Maximum Satisfiability Solving
    Hannes Ihalainen, Jeremias Berg, and Matti Järvisalo
    Journal of Artificial Intelligence Research, Jul 2024
  4. Certified MaxSAT Preprocessing
    Hannes Ihalainen, Andy Oertel, Yong Kiam Tan, and 4 more authors
    In Automated Reasoning - 12th International Joint Conference, IJCAR 2024, Nancy, France, July 3-6, 2024, Proceedings, Part I, Jul 2024
  5. Core Boosting in SAT-Based Multi-objective Optimization
    Christoph Jabs, Jeremias Berg, and Matti Järvisalo
    In Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 21st International Conference, CPAIOR 2024, Uppsala, Sweden, May 28-31, 2024, Proceedings, Part II, Jul 2024

2023

  1. Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization
    Christoph Jabs, Jeremias Berg, Hannes Ihalainen, and 1 more author
    In 29th International Conference on Principles and Practice of Constraint Programming, CP 2023, August 27-31, 2023, Toronto, Canada, Jul 2023
  2. Certified Core-Guided MaxSAT Solving
    Jeremias Berg, Bart Bogaerts, Jakob Nordström, and 2 more authors
    In Automated Deduction - CADE 29 - 29th International Conference on Automated Deduction, Rome, Italy, July 1-4, 2023, Proceedings, Jul 2023
  3. Oracle-Based Local Search for Pseudo-Boolean Optimization
    Markus Iser, Jeremias Berg, and Matti Järvisalo
    In ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland - Including 12th Conference on Prestigious Applications of Intelligent Systems (PAIS 2023), Jul 2023
  4. Unifying Core-Guided and Implicit Hitting Set Based Optimization
    Hannes Ihalainen, Jeremias Berg, and Matti Järvisalo
    In Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, IJCAI 2023, 19th-25th August 2023, Macao, SAR, China, Jul 2023

2022

  1. Clause Redundancy and Preprocessing in Maximum Satisfiability
    Hannes Ihalainen, Jeremias Berg, and Matti Järvisalo
    In Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Haifa, Israel, August 8-10, 2022, Proceedings, Jul 2022
  2. Computing Smallest MUSes of Quantified Boolean Formulas
    Andreas Niskanen, Jere Mustonen, Jeremias Berg, and 1 more author
    In Logic Programming and Nonmonotonic Reasoning - 16th International Conference, LPNMR 2022, Genova, Italy, September 5-9, 2022, Proceedings, Jul 2022
  3. MaxSAT-Based Bi-Objective Boolean Optimization
    Christoph Jabs, Jeremias Berg, Andreas Niskanen, and 1 more author
    In 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel, Jul 2022
  4. Improvements to the Implicit Hitting Set Approach to Pseudo-Boolean Optimization
    Pavel Smirnov, Jeremias Berg, and Matti Järvisalo
    In 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel, Jul 2022
  5. Incremental Maximum Satisfiability
    Andreas Niskanen, Jeremias Berg, and Matti Järvisalo
    In 25th International Conference on Theory and Applications of Satisfiability Testing, SAT 2022, August 2-5, 2022, Haifa, Israel, Jul 2022

2021

  1. Refined Core Relaxation for Core-Guided MaxSAT Solving
    Hannes Ihalainen, Jeremias Berg, and Matti Järvisalo
    In 27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021, Jul 2021
  2. Enabling Incrementality in the Implicit Hitting Set Approach to MaxSAT Under Changing Weights
    Andreas Niskanen, Jeremias Berg, and Matti Järvisalo
    In 27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021, Jul 2021
  3. Pseudo-Boolean Optimization by Implicit Hitting Sets
    Pavel Smirnov, Jeremias Berg, and Matti Järvisalo
    In 27th International Conference on Principles and Practice of Constraint Programming, CP 2021, Montpellier, France (Virtual Conference), October 25-29, 2021, Jul 2021
  4. Abstract Cores in Implicit Hitting Set MaxSat Solving (Extended Abstract)
    Jeremias Berg, Fahiem Bacchus, and Alex Poole
    In Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, IJCAI 2021, Virtual Event / Montreal, Canada, 19-27 August 2021, Jul 2021

2020

  1. Core-Guided and Core-Boosted Search for CP
    Graeme Gange, Jeremias Berg, Emir Demirovic, and 1 more author
    In Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 17th International Conference, CPAIOR 2020, Vienna, Austria, September 21-24, 2020, Proceedings, Jul 2020
  2. Preprocessing in Incomplete MaxSAT Solving
    Marcus Leivo, Jeremias Berg, and Matti Järvisalo
    In ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020 - Including 10th Conference on Prestigious Applications of Artificial Intelligence (PAIS 2020), Jul 2020
  3. Abstract Cores in Implicit Hitting Set MaxSat Solving
    Jeremias Berg, Fahiem Bacchus, and Alex Poole
    In Theory and Applications of Satisfiability Testing - SAT 2020 - 23rd International Conference, Alghero, Italy, July 3-10, 2020, Proceedings, Jul 2020

2019

  1. Solving Graph Problems via Potential Maximal Cliques: An Experimental Evaluation of the Bouchitté-Todinca Algorithm
    Tuukka Korhonen, Jeremias Berg, and Matti Järvisalo
    ACM J. Exp. Algorithmics, Jul 2019
  2. Core-Boosted Linear Search for Incomplete MaxSAT
    Jeremias Berg, Emir Demirovic, and Peter J. Stuckey
    In Integration of Constraint Programming, Artificial Intelligence, and Operations Research - 16th International Conference, CPAIOR 2019, Thessaloniki, Greece, June 4-7, 2019, Proceedings, Jul 2019
  3. Enumerating Potential Maximal Cliques via SAT and ASP
    Tuukka Korhonen, Jeremias Berg, and Matti Järvisalo
    In Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, IJCAI 2019, Macao, China, August 10-16, 2019, Jul 2019
  4. Unifying Reasoning and Core-Guided Search for Maximum Satisfiability
    Jeremias Berg, and Matti Järvisalo
    In Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7-11, 2019, Proceedings, Jul 2019

2018

  1. Solving Optimization Problems via Maximum Satisfiability: Encodings and Re-Encodings
    Jeremias Berg
    University of Helsinki, Finland, Jul 2018
  2. Applications of MaxSAT in Data Analysis
    Jeremias Berg, Antti Hyttinen, and Matti Järvisalo
    In Proceedings of Pragmatics of SAT 2015, Austin, Texas, USA, September 23, 2015 / Pragmatics of SAT 2018, Oxford, UK, July 7, 2018, Jul 2018

2017

  1. Cost-optimal constrained correlation clustering via weighted partial Maximum Satisfiability
    Jeremias Berg, and Matti Järvisalo
    Artif. Intell., Jul 2017
  2. Minimum-Width Confidence Bands via Constraint Optimization
    Jeremias Berg, Emilia Oikarinen, Matti Järvisalo, and 1 more author
    In Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, Jul 2017
  3. Weight-Aware Core Extraction in SAT-Based MaxSAT Solving
    Jeremias Berg, and Matti Järvisalo
    In Principles and Practice of Constraint Programming - 23rd International Conference, CP 2017, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, Jul 2017
  4. MaxPre: An Extended MaxSAT Preprocessor
    Tuukka Korhonen, Jeremias Berg, Paul Saikko, and 1 more author
    In Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28 - September 1, 2017, Proceedings, Jul 2017

2016

  1. Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving
    Jeremias Berg, and Matti Järvisalo
    In Principles and Practice of Constraint Programming - 22nd International Conference, CP 2016, Toulouse, France, September 5-9, 2016, Proceedings, Jul 2016
  2. Subsumed Label Elimination for Maximum Satisfiability
    Jeremias Berg, Paul Saikko, and Matti Järvisalo
    In ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands - Including Prestigious Applications of Artificial Intelligence (PAIS 2016), Jul 2016
  3. LMHS: A SAT-IP Hybrid MaxSAT Solver
    Paul Saikko, Jeremias Berg, and Matti Järvisalo
    In Theory and Applications of Satisfiability Testing - SAT 2016 - 19th International Conference, Bordeaux, France, July 5-8, 2016, Proceedings, Jul 2016

2015

  1. Re-using Auxiliary Variables for MaxSAT Preprocessing
    Jeremias Berg, Paul Saikko, and Matti Järvisalo
    In 27th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2015, Vietri sul Mare, Italy, November 9-11, 2015, Jul 2015
  2. Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT
    Jeremias Berg, Paul Saikko, and Matti Järvisalo
    In Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, IJCAI 2015, Buenos Aires, Argentina, July 25-31, 2015, Jul 2015

2014

  1. Optimal Neighborhood Preserving Visualization by Maximum Satisfiability
    Kerstin Bunte, Matti Järvisalo, Jeremias Berg, and 3 more authors
    In Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, July 27 -31, 2014, Québec City, Québec, Canada, Jul 2014
  2. Learning Optimal Bounded Treewidth Bayesian Networks via Maximum Satisfiability
    Jeremias Berg, Matti Järvisalo, and Brandon M. Malone
    In Proceedings of the Seventeenth International Conference on Artificial Intelligence and Statistics, AISTATS 2014, Reykjavik, Iceland, April 22-25, 2014, Jul 2014
  3. SAT-Based Approaches to Treewidth Computation: An Evaluation
    Jeremias Berg, and Matti Järvisalo
    In 26th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2014, Limassol, Cyprus, November 10-12, 2014, Jul 2014

2013

  1. Optimal Correlation Clustering via MaxSAT
    Jeremias Berg, and Matti Järvisalo
    In 13th IEEE International Conference on Data Mining Workshops, ICDM Workshops, TX, USA, December 7-10, 2013, Jul 2013