Jeremias Berg

From MaRDI portal
Person:511771

Available identifiers

zbMath Open berg.jeremiasMaRDI QIDQ511771

List of research outcomes





PublicationDate of PublicationType
MaxSAT-based bi-objective Boolean optimization2024-07-12Paper
Improvements to the implicit hitting set approach to pseudo-Boolean optimization2024-07-12Paper
Incremental maximum satisfiability2024-07-12Paper
Certified Core-Guided MaxSAT Solving2024-04-26Paper
Computing smallest MUSes of quantified Boolean formulas2023-04-04Paper
Core-guided and core-boosted search for CP2022-12-21Paper
Clause redundancy and preprocessing in maximum satisfiability2022-12-07Paper
Abstract cores in implicit hitting set MaxSat solving2021-04-07Paper
Unifying reasoning and core-guided search for maximum satisfiability2020-02-18Paper
Core-boosted linear search for incomplete MaxSAT2019-10-14Paper
Solving Graph Problems via Potential Maximal Cliques2019-03-27Paper
Subsumed Label Elimination for Maximum Satisfiability2018-07-12Paper
Cost-optimal constrained correlation clustering via weighted partial maximum satisfiability2017-02-22Paper
LMHS: A SAT-IP Hybrid MaxSAT Solver2016-09-05Paper

Research outcomes over time

This page was built for person: Jeremias Berg

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:511771&oldid=7548053"
Powered by MediaWiki