| 2021 | SAT | The MergeSat Solver. | Norbert Manthey |
| 2020 | CP | Towards Faster Reasoners by Using Transparent Huge Pages. | Johannes Klaus Fichte, Norbert Manthey, Julian Stecklina, Andr Schidler |
| 2020 | FMCAD | Using model checking tools to triage the severity of security bugs in the Xen hypervisor. | Byron Cook, Bjrn Dbel, Daniel Kroening, Norbert Manthey, Martin Pohlack, Elizabeth Polgreen, Michael Tautschnig, Pawel Wieczorkiewicz |
| 2018 | SAT | Checking Unsatisfiability Proofs in Parallel. | Norbert Manthey, Tobias Philipp |
| 2016 | SAT | BEACON: An Efficient SAT-Based Tool for Debugging | M. Fareed Arif, Carlos Menca, Alexey Ignatiev, Norbert Manthey, Rafael Pealoza, Joo Marques-Silva |
| 2016 | SAT | SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers. | Norbert Manthey, Marius Lindauer |
| 2015 | SAT | Recognition of Nested Gates in CNF Formulas. | Ashlin Iser, Norbert Manthey, Carsten Sinz |
| 2014 | KI | CDCL Solver Additions: Local Look-Ahead, All-Unit-UIP Learning and On-the-Fly Probing. | Norbert Manthey |
| 2014 | KI | Formula Simplifications as DRAT Derivations. | Norbert Manthey, Tobias Philipp |
| 2014 | KI | A More Compact Translation of Pseudo-Boolean Constraints into CNF Such That Generalized Arc Consistency Is Maintained. | Norbert Manthey, Tobias Philipp, Peter Steinke |
| 2014 | SAT | New CNF Features and Formula Classification. | Enrique Matos Alfonso, Norbert Manthey |
| 2014 | SAT | Detecting Cardinality Constraints in CNF. | Armin Biere, Daniel Le Berre, Emmanuel Lonca, Norbert Manthey |
| 2014 | SAT | Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers. | Marijn Heule, Norbert Manthey, Tobias Philipp |
| 2014 | SAT | Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers. | Steffen Hlldobler, Norbert Manthey, Tobias Philipp, Peter Steinke |
| 2013 | KI | Parallel Variable Elimination on CNF Formulas. | Kilian Gebhardt, Norbert Manthey |
| 2013 | SAT | Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning. | Adrian Balint, Norbert Manthey |
| 2013 | SAT | Parallel MUS Extraction. | Anton Belov, Norbert Manthey, Joo Marques-Silva |
| 2013 | SAT | Modern Cooperative Parallel SAT Solving. | Norbert Manthey, Davide Lanti, Ahmed Irfan |
| 2013 | SAT | Soundness of Inprocessing in Clause Sharing SAT Solvers. | Norbert Manthey, Tobias Philipp, Christoph Wernhard |
| 2012 | KI | A Compact Encoding of Pseudo-Boolean Constraints into SAT. | Steffen Hlldobler, Norbert Manthey, Peter Steinke |
| 2012 | SAT | Designing Scalable Parallel SAT Solvers. | Antti Eero Johannes Hyvrinen, Norbert Manthey |
| 2012 | SAT | Coprocessor 2.0 - A Flexible CNF Simplifier - (Tool Presentation). | Norbert Manthey |
| 2010 | LPAR | Improving Resource-Unaware SAT Solvers. | Steffen Hlldobler, Norbert Manthey, Ari Saptawijaya |
| 2010 | SAT | Towards Improving the Resource Usage of SAT-solvers. | Norbert Manthey, Ari Saptawijaya |