Jeremias Berg

According to our database, Jeremias Berg authored at least 41 papers between 2013 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

From Single-Objective to Bi-Objective Maximum Satisfiability Solving.

Christoph Jabs, Jeremias Berg, Andreas Niskanen, Matti Järvisalo

J. Artif. Intell. Res., 2024

Unifying SAT-Based Approaches to Maximum Satisfiability Solving.

Hannes Ihalainen, Jeremias Berg, Matti Järvisalo

J. Artif. Intell. Res., 2024

Certified MaxSAT Preprocessing.

Hannes Ihalainen, Andy Oertel, Yong Kiam Tan, Jeremias Berg, Matti Järvisalo, Jakob Nordström

CoRR, 2024

Certified MaxSAT Preprocessing.

Hannes Ihalainen, Andy Oertel, Yong Kiam Tan, Jeremias Berg, Matti Järvisalo, Magnus O. Myreen, Jakob Nordström

Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

Core Boosting in SAT-Based Multi-objective Optimization.

Christoph Jabs, Jeremias Berg, Matti Järvisalo

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2024

Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability.

Jeremias Berg, Bart Bogaerts, Jakob Nordström, Andy Oertel, Tobias Paxian, Dieter Vandesande

Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024

2023

Unifying Core-Guided and Implicit Hitting Set Based Optimization.

Hannes Ihalainen, Jeremias Berg, Matti Järvisalo

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Oracle-Based Local Search for Pseudo-Boolean Optimization.

Markus Iser, Jeremias Berg, Matti Järvisalo

Proceedings of the ECAI 2023 - 26th European Conference on Artificial Intelligence, September 30 - October 4, 2023, Kraków, Poland, 2023

Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization.

Christoph Jabs, Jeremias Berg, Hannes Ihalainen, Matti Järvisalo

Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

Certified Core-Guided MaxSAT Solving.

Jeremias Berg, Bart Bogaerts, Jakob Nordström, Andy Oertel, Dieter Vandesande

Proceedings of the Automated Deduction - CADE 29, 2023

2022

Incremental Maximum Satisfiability.

Andreas Niskanen, Jeremias Berg, Matti Järvisalo

Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022

MaxSAT-Based Bi-Objective Boolean Optimization.

Christoph Jabs, Jeremias Berg, Andreas Niskanen, Matti Järvisalo

Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022

Improvements to the Implicit Hitting Set Approach to Pseudo-Boolean Optimization.

Pavel Smirnov, Jeremias Berg, Matti Järvisalo

Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022

Computing Smallest MUSes of Quantified Boolean Formulas.

Andreas Niskanen, Jere Mustonen, Jeremias Berg, Matti Järvisalo

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Clause Redundancy and Preprocessing in Maximum Satisfiability.

Hannes Ihalainen, Jeremias Berg, Matti Järvisalo

Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2021

Abstract Cores in Implicit Hitting Set MaxSat Solving (Extended Abstract).

Jeremias Berg, Fahiem Bacchus, Alex Poole

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Pseudo-Boolean Optimization by Implicit Hitting Sets.

Pavel Smirnov, Jeremias Berg, Matti Järvisalo

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

Enabling Incrementality in the Implicit Hitting Set Approach to MaxSAT Under Changing Weights.

Andreas Niskanen, Jeremias Berg, Matti Järvisalo

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

Refined Core Relaxation for Core-Guided MaxSAT Solving.

Hannes Ihalainen, Jeremias Berg, Matti Järvisalo

Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

2020

Abstract Cores in Implicit Hitting Set MaxSat Solving.

Jeremias Berg, Fahiem Bacchus, Alex Poole

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

Preprocessing in Incomplete MaxSAT Solving.

Marcus Leivo, Jeremias Berg, Matti Järvisalo

Proceedings of the ECAI 2020 - 24th European Conference on Artificial Intelligence, 29 August-8 September 2020, Santiago de Compostela, Spain, August 29 - September 8, 2020, 2020

Core-Guided and Core-Boosted Search for CP.

Graeme Gange, Jeremias Berg, Emir Demirovic, Peter J. Stuckey

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2020

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

Unifying Reasoning and Core-Guided Search for Maximum Satisfiability.

Jeremias Berg, Matti Järvisalo

Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Enumerating Potential Maximal Cliques via SAT and ASP.

Tuukka Korhonen, Jeremias Berg, Matti Järvisalo

Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Core-Boosted Linear Search for Incomplete MaxSAT.

Jeremias Berg, Emir Demirovic, Peter J. Stuckey

Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

2018

Solving Optimization Problems via Maximum Satisfiability: Encodings and Re-Encodings.

Jeremias Berg

PhD thesis, 2018

Applications of MaxSAT in Data Analysis.

Jeremias Berg, Antti Hyttinen, Matti Järvisalo

Proceedings of Pragmatics of SAT 2015, 2018

2017

Cost-optimal constrained correlation clustering via weighted partial Maximum Satisfiability.

Jeremias Berg, Matti Järvisalo

Artif. Intell., 2017

MaxPre: An Extended MaxSAT Preprocessor.

Tuukka Korhonen, Jeremias Berg, Paul Saikko, Matti Järvisalo

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2017 - 20th International Conference, Melbourne, VIC, Australia, August 28, 2017

Minimum-Width Confidence Bands via Constraint Optimization.

Jeremias Berg, Emilia Oikarinen, Matti Järvisalo, Kai Puolamäki

Proceedings of the Principles and Practice of Constraint Programming, 2017

Weight-Aware Core Extraction in SAT-Based MaxSAT Solving.

Jeremias Berg, Matti Järvisalo

Proceedings of the Principles and Practice of Constraint Programming, 2017

2016

LMHS: A SAT-IP Hybrid MaxSAT Solver.

Paul Saikko, Jeremias Berg, Matti Järvisalo

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

Subsumed Label Elimination for Maximum Satisfiability.

Jeremias Berg, Paul Saikko, Matti Järvisalo

Proceedings of the ECAI 2016 - 22nd European Conference on Artificial Intelligence, 29 August-2 September 2016, The Hague, The Netherlands, 2016

Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving.

Jeremias Berg, Matti Järvisalo

Proceedings of the Principles and Practice of Constraint Programming, 2016

2015

Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT.

Jeremias Berg, Paul Saikko, Matti Järvisalo

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Re-using Auxiliary Variables for MaxSAT Preprocessing.

Jeremias Berg, Paul Saikko, Matti Järvisalo

Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

2014

SAT-Based Approaches to Treewidth Computation: An Evaluation.

Jeremias Berg, Matti Järvisalo

Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

Learning Optimal Bounded Treewidth Bayesian Networks via Maximum Satisfiability.

Jeremias Berg, Matti Järvisalo, Brandon M. Malone

Proceedings of the Seventeenth International Conference on Artificial Intelligence and Statistics, 2014

Optimal Neighborhood Preserving Visualization by Maximum Satisfiability.

Kerstin Bunte, Matti Järvisalo, Jeremias Berg, Petri Myllymäki, Jaakko Peltonen, Samuel Kaski

Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013

Optimal Correlation Clustering via MaxSAT.

Jeremias Berg, Matti Järvisalo

Proceedings of the 13th IEEE International Conference on Data Mining Workshops, 2013