Berg, Jeremias

8 publications

JAIR 2024 From Single-Objective to Bi-Objective Maximum Satisfiability Solving Christoph Jabs, Jeremias Berg, Andreas Niskanen, Matti Järvisalo

JAIR 2024 Unifying SAT-Based Approaches to Maximum Satisfiability Solving Hannes Ihalainen, Jeremias Berg, Matti Järvisalo

IJCAI 2023 Unifying Core-Guided and Implicit Hitting Set Based Optimization Hannes Ihalainen, Jeremias Berg, Matti Järvisalo

IJCAI 2021 Abstract Cores in Implicit Hitting Set MaxSat Solving (Extended Abstract) Jeremias Berg, Fahiem Bacchus, Alex Poole

IJCAI 2019 Enumerating Potential Maximal Cliques via SAT and ASP Tuukka Korhonen, Jeremias Berg, Matti Järvisalo

IJCAI 2015 Improving the Effectiveness of SAT-Based Preprocessing for MaxSAT Jeremias Berg, Paul Saikko, Matti Järvisalo

AISTATS 2014 Learning Optimal Bounded Treewidth Bayesian Networks via Maximum Satisfiability Jeremias Berg, Matti Järvisalo, Brandon M. Malone

AAAI 2014 Optimal Neighborhood Preserving Visualization by Maximum Satisfiability Kerstin Bunte, Matti Järvisalo, Jeremias Berg, Petri Myllymäki, Jaakko Peltonen, Samuel Kaski