Jeremias Berg

Available identifiers

zbMath Open berg.jeremiasMaRDI QIDQ511771

List of research outcomes

Publication	Date of Publication	Type
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	2019-03-27	Paper
Subsumed Label Elimination for Maximum Satisfiability	2018-07-12	Paper
Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability	2017-02-22	Paper
LMHS: A SAT-IP Hybrid MaxSAT Solver	2016-09-05	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Jeremias Berg