Jeremias Berg

Orcid: 0000-0001-7660-8061

Affiliations:
  • University of Helsinki, Finland


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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
From Single-Objective to Bi-Objective Maximum Satisfiability Solving.
J. Artif. Intell. Res., 2024

Unifying SAT-Based Approaches to Maximum Satisfiability Solving.
J. Artif. Intell. Res., 2024

Certified MaxSAT Preprocessing.
CoRR, 2024

Certified MaxSAT Preprocessing.
Proceedings of the Automated Reasoning - 12th International Joint Conference, 2024

Core Boosting in SAT-Based Multi-objective Optimization.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2024

Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability.
Proceedings of the 30th International Conference on Principles and Practice of Constraint Programming, 2024

2023
Unifying Core-Guided and Implicit Hitting Set Based Optimization.
Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

Oracle-Based Local Search for Pseudo-Boolean Optimization.
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.
Proceedings of the 29th International Conference on Principles and Practice of Constraint Programming, 2023

Certified Core-Guided MaxSAT Solving.
Proceedings of the Automated Deduction - CADE 29, 2023

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

MaxSAT-Based Bi-Objective Boolean Optimization.
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.
Proceedings of the 25th International Conference on Theory and Applications of Satisfiability Testing, 2022

Computing Smallest MUSes of Quantified Boolean Formulas.
Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2022

Clause Redundancy and Preprocessing in Maximum Satisfiability.
Proceedings of the Automated Reasoning - 11th International Joint Conference, 2022

2021
Abstract Cores in Implicit Hitting Set MaxSat Solving (Extended Abstract).
Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

Pseudo-Boolean Optimization by Implicit Hitting Sets.
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.
Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

Refined Core Relaxation for Core-Guided MaxSAT Solving.
Proceedings of the 27th International Conference on Principles and Practice of Constraint Programming, 2021

2020
Abstract Cores in Implicit Hitting Set MaxSat Solving.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2020, 2020

Preprocessing in Incomplete MaxSAT Solving.
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.
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.
ACM J. Exp. Algorithmics, 2019

Unifying Reasoning and Core-Guided Search for Maximum Satisfiability.
Proceedings of the Logics in Artificial Intelligence - 16th European Conference, 2019

Enumerating Potential Maximal Cliques via SAT and ASP.
Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019

Core-Boosted Linear Search for Incomplete MaxSAT.
Proceedings of the Integration of Constraint Programming, Artificial Intelligence, and Operations Research, 2019

2018
Solving Optimization Problems via Maximum Satisfiability: Encodings and Re-Encodings.
PhD thesis, 2018

Applications of MaxSAT in Data Analysis.
Proceedings of Pragmatics of SAT 2015, 2018

2017
Cost-optimal constrained correlation clustering via weighted partial Maximum Satisfiability.
Artif. Intell., 2017

MaxPre: An Extended MaxSAT Preprocessor.
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.
Proceedings of the Principles and Practice of Constraint Programming, 2017

Weight-Aware Core Extraction in SAT-Based MaxSAT Solving.
Proceedings of the Principles and Practice of Constraint Programming, 2017

2016
LMHS: A SAT-IP Hybrid MaxSAT Solver.
Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2016, 2016

Subsumed Label Elimination for Maximum Satisfiability.
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.
Proceedings of the Principles and Practice of Constraint Programming, 2016

2015
Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT.
Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

Re-using Auxiliary Variables for MaxSAT Preprocessing.
Proceedings of the 27th IEEE International Conference on Tools with Artificial Intelligence, 2015

2014
SAT-Based Approaches to Treewidth Computation: An Evaluation.
Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

Learning Optimal Bounded Treewidth Bayesian Networks via Maximum Satisfiability.
Proceedings of the Seventeenth International Conference on Artificial Intelligence and Statistics, 2014

Optimal Neighborhood Preserving Visualization by Maximum Satisfiability.
Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence, 2014

2013
Optimal Correlation Clustering via MaxSAT.
Proceedings of the 13th IEEE International Conference on Data Mining Workshops, 2013


  Loading...