publications

in reversed chronological order.

2024

  1. Unifying SAT-Based Approaches to Maximum Satisfiability Solving
    Hannes Ihalainen ,  Jeremias Berg ,  and  Matti Järvisalo
    Journal of Artificial Intelligence Research, 2024
  2. Certified MaxSAT Preprocessing
    Hannes Ihalainen ,  Andy Oertel ,  Yong Kiam Tan , and 4 more authors
    In Proc IJCAR , 2024
  3. Core Boosting in SAT-Based Multi-Objective Optimization
    Christoph Jabs ,  Jeremias Berg ,  and  Matti Järvisalo
    In Proc CPAIOR , 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 , 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 , 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) , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 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) , 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 , 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, 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 , 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 , 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 , 2019

2018

  1. Solving Optimization Problems via Maximum Satisfiability: Encodings and Re-Encodings
    Jeremias Berg
    University of Helsinki, Finland , 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 , 2018

2017

  1. Cost-optimal constrained correlation clustering via weighted partial Maximum Satisfiability
    Jeremias Berg ,  and  Matti Järvisalo
    Artif. Intell., 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 , 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 , 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 , 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 , 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) , 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 , 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 , 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 , 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 , 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 , 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 , 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 , 2013