Norbert Manthey

Available identifiers

zbMath Open manthey.norbertMaRDI QIDQ2118328

List of research outcomes

Publication	Date of Publication	Type
The \textsc{MergeSat} solver	2022-03-22	Paper
Improved answer-set programming encodings for abstract argumentation	2017-11-09	Paper
BEACON: An Efficient SAT-Based Tool for Debugging $${\mathcal {EL}}{^+}$$ Ontologies	2016-09-05	Paper
SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers	2016-09-05	Paper
Recognition of Nested Gates in CNF Formulas	2015-11-20	Paper
Detecting Cardinality Constraints in CNF	2014-09-26	Paper
Soundness of Inprocessing in Clause Sharing SAT Solvers	2013-08-05	Paper
Parallel MUS Extraction	2013-08-05	Paper
Improving Resource-Unaware SAT Solvers	2010-10-12	Paper

Research outcomes over time

This page was built for person: Norbert Manthey