Norbert Manthey
TU Dresden(DE)
Publications by Year
Research Areas
Formal Methods in Verification, Constraint Satisfaction and Optimization, Logic, programming, and type systems, Software Testing and Debugging Techniques, Logic, Reasoning, and Knowledge
Most-Cited Works
- → Automated Reencoding of Boolean Formulas(2013)61 cited
- → Solving Periodic Event Scheduling Problems with SAT(2012)54 cited
- → SAT-Based Analysis and Quantification of Information Flow in Programs(2013)45 cited
- → Coprocessor 2.0 – A Flexible CNF Simplifier(2012)40 cited
- → Detecting Cardinality Constraints in CNF(2014)32 cited
- → Improved answer-set programming encodings for abstract argumentation(2015)30 cited
- → A Compact Encoding of Pseudo-Boolean Constraints into SAT(2012)29 cited
- → BEACON: An Efficient SAT-Based Tool for Debugging $${\mathcal {EL}}{^+}$$ Ontologies(2016)25 cited
- A short overview on modern parallel SAT-solvers(2011)
- → Soundness of Inprocessing in Clause Sharing SAT Solvers(2013)20 cited