Jeremias Berg

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
MaxSAT-based bi-objective Boolean optimization	2024-07-12	Paper
Improvements to the implicit hitting set approach to pseudo-Boolean optimization	2024-07-12	Paper
Incremental maximum satisfiability	2024-07-12	Paper
Certified Core-Guided MaxSAT Solving	2024-04-26	Paper
Computing smallest MUSes of quantified Boolean formulas	2023-04-04	Paper
Core-guided and core-boosted search for CP	2022-12-21	Paper
Clause redundancy and preprocessing in maximum satisfiability	2022-12-07	Paper
Abstract cores in implicit hitting set MaxSat solving	2021-04-07	Paper
Unifying reasoning and core-guided search for maximum satisfiability	2020-02-18	Paper
Core-boosted linear search for incomplete MaxSAT	2019-10-14	Paper
Solving graph problems via potential maximal cliques: an experimental evaluation of the Bouchitté-Todinca algorithm ACM Journal of Experimental Algorithmics	2019-03-27	Paper
Subsumed label elimination for maximum satisfiability	2018-07-12	Paper
Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability Artificial Intelligence	2017-02-22	Paper
LMHS: a SAT-IP hybrid MaxSat solver Theory and Applications of Satisfiability Testing – SAT 2016	2016-09-05	Paper

Research outcomes over time

This page was built for person: Jeremias Berg