Norbert Manthey

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