Norbert Manthey

Most-cited papers

Automated Reencoding of Boolean Formulas
Norbert Manthey, Marijn J. H. Heule, Armin Biere
2012Haifa Verification Conference94 citations
Semantic Scholar
Solving Periodic Event Scheduling Problems with SAT
P. Großmann, Steffen Hölldobler, Norbert Manthey, K. Nachtigall +2 more
2012International Conference on Industrial, Engineering and Other Applications of Applied Intelligent Systems72 citations
Semantic Scholar
Coprocessor 2.0 - A Flexible CNF Simplifier - (Tool Presentation)
Norbert Manthey
2012International Conference on Theory and Applications of Satisfiability Testing66 citations
Semantic Scholar
SAT-Based Analysis and Quantification of Information Flow in Programs
V. Klebanov, Norbert Manthey, Christian Muise
2013International Conference on Quantitative Evaluation of Systems60 citations
Semantic Scholar
Detecting Cardinality Constraints in CNF
Armin Biere, Daniel Le Berre, Emmanuel Lonca, Norbert Manthey
2014International Conference on Theory and Applications of Satisfiability Testing51 citations Open access
Semantic Scholar
Improved answer-set programming encodings for abstract argumentation
S. A. Gaggl, Norbert Manthey, Alessandro Ronca, J. Wallner +1 more
2015Theory and Practice of Logic Programming44 citations Open access
Semantic Scholar
A Compact Encoding of Pseudo-Boolean Constraints into SAT
Steffen Hölldobler, Norbert Manthey, Peter Steinke
2012Deutsche Jahrestagung für Künstliche Intelligenz41 citations
Semantic Scholar
BEACON: An Efficient SAT-Based Tool for Debugging EL^+ Ontologies
M. Arif, Carlos Mencía, Alexey Ignatiev, Norbert Manthey +2 more
2016International Conference on Theory and Applications of Satisfiability Testing35 citations
Semantic Scholar
A More Compact Translation of Pseudo-Boolean Constraints into CNF Such That Generalized Arc Consistency Is Maintained
Norbert Manthey, Tobias Philipp, Peter Steinke
2014Deutsche Jahrestagung für Künstliche Intelligenz33 citations
Semantic Scholar
A short overview on modern parallel SAT-solvers
Steffen Hölldobler, Norbert Manthey, Van-Hau Nguyen, Julian Stecklina +1 more
2011International Conference on Advanced Computer Science and Information System33 citations
Semantic Scholar
Improving Resource-Unaware SAT Solvers
Steffen Hölldobler, Norbert Manthey, Ari Saptawijaya
2010Logic Programming and Automated Reasoning31 citations
Semantic Scholar
Designing Scalable Parallel SAT Solvers
A. Hyvärinen, Norbert Manthey
2012International Conference on Theory and Applications of Satisfiability Testing25 citations
Semantic Scholar
Soundness of Inprocessing in Clause Sharing SAT Solvers
Norbert Manthey, Tobias Philipp, C. Wernhard
2013International Conference on Theory and Applications of Satisfiability Testing24 citations
Semantic Scholar
Efficient Axiom Pinpointing in EL using SAT Technology
Norbert Manthey, R. Peñaloza, Sebastian Rudolph
2016Description Logics16 citations
Semantic Scholar
New CNF Features and Formula Classification
E. Alfonso, Norbert Manthey
2014POS@SAT15 citations Open access
Semantic Scholar
Parallel SAT Solving-Using More Cores
Norbert Manthey
201114 citations
Semantic Scholar
Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning
A. Balint, Norbert Manthey
2013POS@SAT13 citations Open access
Semantic Scholar
The MergeSat Solver
Norbert Manthey
2021International Conference on Theory and Applications of Satisfiability Testing12 citations
Semantic Scholar
Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers
Marijn J. H. Heule, Norbert Manthey, Tobias Philipp
2014POS@SAT12 citations Open access
Semantic Scholar
Coprocessor - a Standalone SAT Preprocessor
Norbert Manthey
2011INAP/WLP12 citations
Semantic Scholar
Towards Faster Reasoners By Using Transparent Huge Pages
J. Fichte, Norbert Manthey, Julian Stecklina, André Schidler
2020International Conference on Principles and Practice of Constraint Programming11 citations Open access
Semantic Scholar
SpyBug: Automated Bug Detection in the Configuration Space of SAT Solvers
Norbert Manthey, M. Lindauer
2016International Conference on Theory and Applications of Satisfiability Testing11 citations
Semantic Scholar
Parallel Variable Elimination on CNF Formulas
Kilian Gebhardt, Norbert Manthey
2013Deutsche Jahrestagung für Künstliche Intelligenz11 citations
Semantic Scholar
Sharing Information in Parallel Search with Search Space Partitioning
Davide Lanti, Norbert Manthey
2013Learning and Intelligent Optimization11 citations
Semantic Scholar
Towards Improving the Resource Usage of SAT-solvers
Norbert Manthey, Ari Saptawijaya
2010POS@SAT11 citations Open access
Semantic Scholar
Using model checking tools to triage the severity of security bugs in the Xen hypervisor
B. Cook, Björn Döbel, D. Kroening, Norbert Manthey +4 more
2020Formal Methods in Computer-Aided Design10 citations Open access
Semantic Scholar
Towards next generation sequential and parallel SAT solvers
Norbert Manthey
2015Constraints10 citations Open access
Semantic Scholar
Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers
Steffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke
2014Young Scientists' International Workshop on Trends in Information Processing10 citations Open access
Semantic Scholar
Formula Simplifications as DRAT Derivations
Norbert Manthey, Tobias Philipp
2014Deutsche Jahrestagung für Künstliche Intelligenz9 citations
Semantic Scholar
SATPin: Axiom Pinpointing for Lightweight Description Logics Through Incremental SAT
Norbert Manthey, R. Peñaloza, Sebastian Rudolph
2020KI - Künstliche Intelligenz8 citations Open access
Semantic Scholar
Recognition of Nested Gates in CNF Formulas
Ashlin Iser, Norbert Manthey, C. Sinz
2015International Conference on Theory and Applications of Satisfiability Testing8 citations
Semantic Scholar
Better Evaluations by Analyzing Benchmark Structure
Norbert Manthey, Sibylle Möhle
20167 citations
Semantic Scholar
Exploiting SAT Technology for Axiom Pinpointing
Norbert Manthey, R. Peñaloza
20157 citations
Semantic Scholar
Parallel MUS Extraction
A. Belov, Norbert Manthey, Joao Marques-Silva
2013International Conference on Theory and Applications of Satisfiability Testing7 citations
Semantic Scholar
Solver submission of riss 1 . 0 to the SAT Competition 2011
Norbert Manthey
20117 citations
Semantic Scholar
ASPARTIX-D: ASP Argumentation Reasoning Tool - Dresden
S. A. Gaggl, Norbert Manthey
20156 citations
Semantic Scholar
Riss Solver Framework v 5 . 05
Lucas Kahlert, F. Krüger, Norbert Manthey, Aaron Stephan
20155 citations
Semantic Scholar
Towards Next Generation Sequential and Parallel SAT Solvers
Norbert Manthey
2016KI - Künstliche Intelligenz4 citations Open access
Semantic Scholar
Solver Description of RISS 2 . 0 and PRISS 2 . 0
Norbert Manthey
20124 citations
Semantic Scholar
Modern Cooperative Parallel SAT Solving
Norbert Manthey, Davide Lanti, Ahmed Irfan
2013POS@SAT3 citations Open access
Semantic Scholar
Modern Parallel SAT-Solvers
Steffen Hölldobler, Norbert Manthey, Van-Hau Nguyen, Peter Steinke +1 more
20113 citations
Semantic Scholar
Solving Public Railway Transport Networks with SAT
P. Großmann, Steffen Hölldobler, Norbert Manthey, K. Nachtigall +2 more
20113 citations
Semantic Scholar
Checking Unsatisfiability Proofs in Parallel
Norbert Manthey, Tobias Philipp
2019POS@SAT2 citations
Semantic Scholar
A More Efficient Parallel Unit Propagation
Norbert Manthey
20112 citations
Semantic Scholar
QuadraticDirect Encoding vs . LinearOrder Encoding A One-out-of-N Transformation on CNF
Norbert Manthey, Peter Steinke
20112 citations
Semantic Scholar
Refining Unsatisfiable Cores in Incremental SAT Solving
Norbert Manthey
20151 citations
Semantic Scholar
Diplomarbeit Improving SAT Solvers Using State-ofthe-Art Techniques
Norbert Manthey
20101 citations
Semantic Scholar
Proof-Guided SAT Encoding Selection for Bit-Vector Multiplication
Armin Biere, Martin Brain, Daniel Kroening, Norbert Manthey +1 more
1 citations
Semantic Scholar
of Pragmatics of SAT 2015 and 2018 Checking Unsatisfiability Proofs in Parallel
Norbert Manthey, Tobias Philipp
20190 citations
Semantic Scholar
An AMaze-ing SAT Solving Visualization
Norbert Manthey
20170 citations
Semantic Scholar