Improving Resource-Unaware SAT Solvers. - Steffen Hölldobler; Norbert Manthey; Ari Saptawijaya (LPAR (Yogyakarta), 2010)

Towards Improving the Resource Usage of SAT-solvers. - Norbert Manthey; Ari Saptawijaya (POS@SAT, 2010)

Coprocessor - a Standalone SAT Preprocessor. - Norbert Manthey (INAP/WLP, 2011)

Automated Reencoding of Boolean Formulas. - Norbert Manthey; Marijn Heule; Armin Biere (Haifa Verification Conference, 2012)

Solving Periodic Event Scheduling Problems with SAT. - Peter Großmann; Steffen Hölldobler; Norbert Manthey; Karl Nachtigall; Jens Opitz; Peter Steinke (IEA/AIE, 2012)

A Compact Encoding of Pseudo-Boolean Constraints into SAT. - Steffen Hölldobler; Norbert Manthey; Peter Steinke (KI, 2012)

Designing Scalable Parallel SAT Solvers. - Antti Eero Johannes Hyvärinen; Norbert Manthey (SAT, 2012)

Coprocessor 2.0 - A Flexible CNF Simplifier - (Tool Presentation). - Norbert Manthey (SAT, 2012)

Parallel Variable Elimination on CNF Formulas. - Kilian Gebhardt; Norbert Manthey (KI, 2013)

Sharing Information in Parallel Search with Search Space Partitioning. - Davide Lanti; Norbert Manthey (LION, 2013)

SAT-Based Analysis and Quantification of Information Flow in Programs. - Vladimir Klebanov; Norbert Manthey; Christian J. Muise (QEST, 2013)

Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning. - Adrian Balint; Norbert Manthey (POS@SAT, 2013)

Parallel MUS Extraction. - Anton Belov; Norbert Manthey; João Marques-Silva 001 (SAT, 2013)

Modern Cooperative Parallel SAT Solving. - Norbert Manthey; Davide Lanti; Ahmed Irfan (POS@SAT, 2013)

Soundness of Inprocessing in Clause Sharing SAT Solvers. - Norbert Manthey; Tobias Philipp; Christoph Wernhard (SAT, 2013)

Modernes sequentielles und paralleles SAT Solving. - Norbert Manthey (Ausgezeichnete Informatikdissertationen, 2014)

CDCL Solver Additions: Local Look-Ahead, All-Unit-UIP Learning and On-the-Fly Probing. - Norbert Manthey (KI, 2014)

Formula Simplifications as DRAT Derivations. - Norbert Manthey; Tobias Philipp (KI, 2014)

A More Compact Translation of Pseudo-Boolean Constraints into CNF Such That Generalized Arc Consistency Is Maintained. - Norbert Manthey; Tobias Philipp; Peter Steinke (KI, 2014)

New CNF Features and Formula Classification. - Enrique Matos Alfonso; Norbert Manthey (POS@SAT, 2014)

Detecting Cardinality Constraints in CNF. - Armin Biere; Daniel Le Berre; Emmanuel Lonca; Norbert Manthey (SAT, 2014)

Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers. - Marijn Heule; Norbert Manthey; Tobias Philipp (POS@SAT, 2014)

Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers. - Steffen Hölldobler; Norbert Manthey; Tobias Philipp; Peter Steinke (YSIP, 2014)

Recognition of Nested Gates in CNF Formulas. - Markus Iser; Norbert Manthey; Carsten Sinz (SAT, 2015)

Improved answer-set programming encodings for abstract argumentation. - Sarah Alice Gaggl; Norbert Manthey; Alessandro Ronca; Johannes Peter Wallner; Stefan Woltran (Theory Pract. Log. Program., 2015)

Towards Next Generation Sequential and Parallel SAT Solvers. - Norbert Manthey (2015)

Efficient Axiom Pinpointing in EL using SAT Technology. - Norbert Manthey; Rafael Peñaloza; Sebastian Rudolph (Description Logics, 2016)

BEACON: An Efficient SAT-Based Tool for Debugging EL^+ Ontologies. - M. Fareed Arif; Carlos Mencía; Alexey Ignatiev; Norbert Manthey; Rafael Peñaloza; João Marques-Silva 001 (SAT, 2016)

SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers. - Norbert Manthey; Marius Lindauer (SAT, 2016)

Towards Next Generation Sequential and Parallel SAT Solvers. - Norbert Manthey (Künstliche Intell., 2016)

Checking Unsatisfiability Proofs in Parallel. - Norbert Manthey; Tobias Philipp (POS@SAT, 2018)

Towards Faster Reasoners by Using Transparent Huge Pages. - Johannes Klaus Fichte; Norbert Manthey; Julian Stecklina; André Schidler (CP, 2020)

Using model checking tools to triage the severity of security bugs in the Xen hypervisor. - Byron Cook; Björn Döbel; Daniel Kroening; Norbert Manthey; Martin Pohlack; Elizabeth Polgreen; Michael Tautschnig; Pawel Wieczorkiewicz (FMCAD, 2020)

SATPin: Axiom Pinpointing for Lightweight Description Logics Through Incremental SAT. - Norbert Manthey; Rafael Peñaloza; Sebastian Rudolph (Künstliche Intell., 2020)

The MergeSat Solver. - Norbert Manthey (SAT, 2021)