Jeremias Berg

Publication Activity (10 Years)

Years Active: 2013-2024
Publications (10 Years): 34

Top Topics

Maximum Satisfiability

Top Venues

Publications

Christoph Jabs, Jeremias Berg, Andreas Niskanen, Matti Järvisalo
From Single-Objective to Bi-Objective Maximum Satisfiability Solving. J. Artif. Intell. Res. 80 (2024)
Christoph Jabs, Jeremias Berg, Matti Järvisalo
Core Boosting in SAT-Based Multi-objective Optimization. CPAIOR (2) (2024)
Hannes Ihalainen, Jeremias Berg, Matti Järvisalo
Unifying SAT-Based Approaches to Maximum Satisfiability Solving. J. Artif. Intell. Res. 80 (2024)
Hannes Ihalainen, Andy Oertel, Yong Kiam Tan, Jeremias Berg, Matti Järvisalo, Magnus O. Myreen, Jakob Nordström
Certified MaxSAT Preprocessing. IJCAR (1) (2024)
Jeremias Berg, Bart Bogaerts, Jakob Nordström, Andy Oertel, Tobias Paxian, Dieter Vandesande
Certifying Without Loss of Generality Reasoning in Solution-Improving Maximum Satisfiability. CP (2024)
Hannes Ihalainen, Andy Oertel, Yong Kiam Tan, Jeremias Berg, Matti Järvisalo, Jakob Nordström
Certified MaxSAT Preprocessing. CoRR (2024)
Hannes Ihalainen, Jeremias Berg, Matti Järvisalo
Unifying Core-Guided and Implicit Hitting Set Based Optimization. IJCAI (2023)
Markus Iser, Jeremias Berg, Matti Järvisalo
Oracle-Based Local Search for Pseudo-Boolean Optimization. ECAI (2023)
Jeremias Berg, Bart Bogaerts, Jakob Nordström, Andy Oertel, Dieter Vandesande
Certified Core-Guided MaxSAT Solving. CADE (2023)
Christoph Jabs, Jeremias Berg, Hannes Ihalainen, Matti Järvisalo
Preprocessing in SAT-Based Multi-Objective Combinatorial Optimization. CP (2023)
Andreas Niskanen, Jere Mustonen, Jeremias Berg, Matti Järvisalo
Computing Smallest MUSes of Quantified Boolean Formulas. LPNMR (2022)
Hannes Ihalainen, Jeremias Berg, Matti Järvisalo
Clause Redundancy and Preprocessing in Maximum Satisfiability. IJCAR (2022)
Andreas Niskanen, Jeremias Berg, Matti Järvisalo
Incremental Maximum Satisfiability. SAT (2022)
Pavel Smirnov, Jeremias Berg, Matti Järvisalo
Improvements to the Implicit Hitting Set Approach to Pseudo-Boolean Optimization. SAT (2022)
Christoph Jabs, Jeremias Berg, Andreas Niskanen, Matti Järvisalo
MaxSAT-Based Bi-Objective Boolean Optimization. SAT (2022)
Pavel Smirnov, Jeremias Berg, Matti Järvisalo
Pseudo-Boolean Optimization by Implicit Hitting Sets. CP (2021)
Andreas Niskanen, Jeremias Berg, Matti Järvisalo
Enabling Incrementality in the Implicit Hitting Set Approach to MaxSAT Under Changing Weights. CP (2021)
Hannes Ihalainen, Jeremias Berg, Matti Järvisalo
Refined Core Relaxation for Core-Guided MaxSAT Solving. CP (2021)
Jeremias Berg, Fahiem Bacchus, Alex Poole
Abstract Cores in Implicit Hitting Set MaxSat Solving (Extended Abstract). IJCAI (2021)
Marcus Leivo, Jeremias Berg, Matti Järvisalo
Preprocessing in Incomplete MaxSAT Solving. ECAI (2020)
Graeme Gange, Jeremias Berg, Emir Demirovic, Peter J. Stuckey
Core-Guided and Core-Boosted Search for CP. CPAIOR (2020)
Jeremias Berg, Fahiem Bacchus, Alex Poole
Abstract Cores in Implicit Hitting Set MaxSat Solving. SAT (2020)
Jeremias Berg, Matti Järvisalo
Unifying Reasoning and Core-Guided Search for Maximum Satisfiability. JELIA (2019)
Tuukka Korhonen, Jeremias Berg, Matti Järvisalo
Solving Graph Problems via Potential Maximal Cliques: An Experimental Evaluation of the Bouchitté-Todinca Algorithm. ACM J. Exp. Algorithmics 24 (1) (2019)
Jeremias Berg, Emir Demirovic, Peter J. Stuckey
Core-Boosted Linear Search for Incomplete MaxSAT. CPAIOR (2019)
Tuukka Korhonen, Jeremias Berg, Matti Järvisalo
Enumerating Potential Maximal Cliques via SAT and ASP. IJCAI (2019)
Jeremias Berg, Antti Hyttinen, Matti Järvisalo
Applications of MaxSAT in Data Analysis. POS@SAT (2018)
Tuukka Korhonen, Jeremias Berg, Paul Saikko, Matti Järvisalo
MaxPre: An Extended MaxSAT Preprocessor. SAT (2017)
Jeremias Berg, Emilia Oikarinen, Matti Järvisalo, Kai Puolamäki
Minimum-Width Confidence Bands via Constraint Optimization. CP (2017)
Jeremias Berg, Matti Järvisalo
Cost-optimal constrained correlation clustering via weighted partial Maximum Satisfiability. Artif. Intell. 244 (2017)
Jeremias Berg, Matti Järvisalo
Weight-Aware Core Extraction in SAT-Based MaxSAT Solving. CP (2017)
Jeremias Berg, Matti Järvisalo
Impact of SAT-Based Preprocessing on Core-Guided MaxSAT Solving. CP (2016)
Paul Saikko, Jeremias Berg, Matti Järvisalo
LMHS: A SAT-IP Hybrid MaxSAT Solver. SAT (2016)
Jeremias Berg, Paul Saikko, Matti Järvisalo
Subsumed Label Elimination for Maximum Satisfiability. ECAI (2016)
Jeremias Berg, Paul Saikko, Matti Järvisalo
Re-using Auxiliary Variables for MaxSAT Preprocessing. ICTAI (2015)
Jeremias Berg, Paul Saikko, Matti Järvisalo
Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT. IJCAI (2015)
Jeremias Berg, Matti Järvisalo, Brandon M. Malone
Learning Optimal Bounded Treewidth Bayesian Networks via Maximum Satisfiability. AISTATS (2014)
Kerstin Bunte, Matti Järvisalo, Jeremias Berg, Petri Myllymäki, Jaakko Peltonen, Samuel Kaski
Optimal Neighborhood Preserving Visualization by Maximum Satisfiability. AAAI (2014)
Jeremias Berg, Matti Järvisalo
SAT-Based Approaches to Treewidth Computation: An Evaluation. ICTAI (2014)
Jeremias Berg, Matti Järvisalo
Optimal Correlation Clustering via MaxSAT. ICDM Workshops (2013)