Norbert Manthey

Publication Activity (10 Years)

Years Active: 2010-2021
Publications (10 Years): 10

Top Venues

SAT

POS@SAT

CoRR

Dresden University of Technology (PHD)

Education History

Dresden University of Technology

PHD

Publications

Norbert Manthey
The MergeSat Solver. SAT (2021)
Johannes Klaus Fichte, Norbert Manthey, Julian Stecklina, André Schidler
Towards Faster Reasoners by Using Transparent Huge Pages. CP (2020)
Johannes Klaus Fichte, Norbert Manthey, Julian Stecklina, André Schidler
Towards Faster Reasoners By Using Transparent Huge Pages. CoRR (2020)
Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph
SATPin: Axiom Pinpointing for Lightweight Description Logics Through Incremental SAT. Künstliche Intell. 34 (3) (2020)
Byron Cook, Björn Döbel, Daniel Kroening, Norbert Manthey, Martin Pohlack, Elizabeth Polgreen, Michael Tautschnig, Pawel Wieczorkiewicz
Using model checking tools to triage the severity of security bugs in the Xen hypervisor. FMCAD (2020)
Norbert Manthey, Tobias Philipp
Checking Unsatisfiability Proofs in Parallel. POS@SAT (2018)
M. Fareed Arif, Carlos Mencía, Alexey Ignatiev, Norbert Manthey, Rafael Peñaloza, João Marques-Silva
^+ Ontologies. SAT (2016)
Norbert Manthey, Marius Lindauer
SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers. SAT (2016)
Norbert Manthey
Towards Next Generation Sequential and Parallel SAT Solvers. Künstliche Intell. 30 (3-4) (2016)
Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph
Efficient Axiom Pinpointing in EL using SAT Technology. Description Logics (2016)
Sarah Alice Gaggl, Norbert Manthey, Alessandro Ronca, Johannes Peter Wallner, Stefan Woltran
Improved answer-set programming encodings for abstract argumentation. Theory Pract. Log. Program. 15 (4-5) (2015)
Markus Iser, Norbert Manthey, Carsten Sinz
Recognition of Nested Gates in CNF Formulas. SAT (2015)
Norbert Manthey
Towards next generation sequential and parallel SAT solvers. Constraints An Int. J. 20 (4) (2015)
Sarah Alice Gaggl, Norbert Manthey, Alessandro Ronca, Johannes Peter Wallner, Stefan Woltran
Improved Answer-Set Programming Encodings for Abstract Argumentation. CoRR (2015)
Norbert Manthey, Tobias Philipp
Formula Simplifications as DRAT Derivations. KI (2014)
Armin Biere, Daniel Le Berre, Emmanuel Lonca, Norbert Manthey
Detecting Cardinality Constraints in CNF. SAT (2014)
Marijn Heule, Norbert Manthey, Tobias Philipp
Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers. POS@SAT (2014)
Steffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke
Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers. YSIP (2014)
Norbert Manthey, Tobias Philipp, Peter Steinke
A More Compact Translation of Pseudo-Boolean Constraints into CNF Such That Generalized Arc Consistency Is Maintained. KI (2014)
Norbert Manthey
CDCL Solver Additions: Local Look-Ahead, All-Unit-UIP Learning and On-the-Fly Probing. KI (2014)
Enrique Matos Alfonso, Norbert Manthey
New CNF Features and Formula Classification. POS@SAT (2014)
Norbert Manthey
Modernes Sequentielles und Paralleles SAT Solving. Ausgezeichnete Informatikdissertationen (2014)
Steffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke
Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers. POS@SAT (2014)
Norbert Manthey, Tobias Philipp, Christoph Wernhard
Soundness of Inprocessing in Clause Sharing SAT Solvers. SAT (2013)
Norbert Manthey, Davide Lanti, Ahmed Irfan
Modern Cooperative Parallel SAT Solving. POS@SAT (2013)
Adrian Balint, Norbert Manthey
Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning. POS@SAT (2013)
Kilian Gebhardt, Norbert Manthey
Parallel Variable Elimination on CNF Formulas. KI (2013)
Vladimir Klebanov, Norbert Manthey, Christian J. Muise
SAT-Based Analysis and Quantification of Information Flow in Programs. QEST (2013)
Davide Lanti, Norbert Manthey
Sharing Information in Parallel Search with Search Space Partitioning. LION (2013)
Anton Belov, Norbert Manthey, João Marques-Silva
Parallel MUS Extraction. SAT (2013)
Norbert Manthey
Coprocessor 2.0 - A Flexible CNF Simplifier - (Tool Presentation). SAT (2012)
Antti Eero Johannes Hyvärinen, Norbert Manthey
Designing Scalable Parallel SAT Solvers. SAT (2012)
Norbert Manthey, Marijn Heule, Armin Biere
Automated Reencoding of Boolean Formulas. Haifa Verification Conference (2012)
Peter Großmann, Steffen Hölldobler, Norbert Manthey, Karl Nachtigall, Jens Opitz, Peter Steinke
Solving Periodic Event Scheduling Problems with SAT. IEA/AIE (2012)
Steffen Hölldobler, Norbert Manthey, Peter Steinke
A Compact Encoding of Pseudo-Boolean Constraints into SAT. KI (2012)
Norbert Manthey
Coprocessor - a Standalone SAT Preprocessor CoRR (2011)
Norbert Manthey
Coprocessor - a Standalone SAT Preprocessor. INAP/WLP (2011)
Norbert Manthey, Ari Saptawijaya
Towards Improving the Resource Usage of SAT-solvers. POS@SAT (2010)
Steffen Hölldobler, Norbert Manthey, Ari Saptawijaya
Improving Resource-Unaware SAT Solvers. LPAR (Yogyakarta) (2010)

Norbert Manthey.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Norbert Manthey