Publikationen von Norbert Manthey

Artikel in Fachzeitschriften

Norbert Manthey, Rafael Peñaloza Nyssen, Sebastian Rudolph
SATPin: Axiom Pinpointing for Lightweight Description Logics through Incremental SAT
Künstliche Intelligenz, 34(3):389-394, 2020
Details Download

Sarah Alice Gaggl, Norbert Manthey, Alessandro Ronca, Johannes Peter Wallner, Stefan Woltran
Improved Answer-Set Programming Encodings for Abstract Argumentation
Theory and Practice of Logic Programming (TPLP), 15(4-5):434-448, September 2015
Details Download

Norbert Manthey
Towards next generation sequential and parallel SAT solvers
Constraints, 1-2, September 2015
Details

Armin Biere, Daniel Le Berre, Emmanuel Lonca, Norbert Manthey
Détection de contraintes de cardinalité dans les CNF
10ièmes Journées Francophones de Programmation par Contraintes (JFPC’14), 253-262, 2014
Details

Artikel in Tagungsbänden

Norbert Manthey, Rafael Peñaloza, Sebastian Rudolph
Efficient Axiom Pinpointing in EL using SAT Technology
In Maurizio Lenzerini, Rafael Peñaloza, eds., Proceedings of the 29th International Workshop on Description Logics (DL'16), volume 1577, 2016. CEUR Workshop Proceedings
Details Download

Sarah Alice Gaggl, Norbert Manthey, Alessandro Ronca, Johannes Peter Wallner, Stefan Woltran
Improved Answer-Set Programming Encodings for Abstract Argumentation
To appear in Theory and Practice of Logic Programming (TPLP), Proceedings of ICLP 2015, August 2015. arXiv:1507.06689
Details Download

Enrique M. Alfonso, Norbert Manthey
Riss 4.27 BlackBox
In Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo, eds., Proceedings of SAT Competition 2014, volume B-2014-2 of Department of Computer Science Series of Publications B, 68-69, 2014. University of Helsinki, Helsinki, Finland
Details

Enrique Alfonso, Norbert Manthey
New CNF Features and Formula Classification
In Daniel Le Berre, eds., POS-14, volume 27 of EPiC Series, 57-71, 2014. EasyChair
Details

Adrian Balint, Norbert Manthey
SparrowToRiss
In Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo, eds., Proceedings of SAT Competition 2014, volume B-2014-2 of Department of Computer Science Series of Publications B, 77, 2014. University of Helsinki, Helsinki, Finland
Details

Adrian Balint, Davide Lanti, Ahmed Irfan, Norbert Manthey
CLAS – A Parallel SAT Solver that Combines CDCL, Look-Ahead and SLS Search Strategies
In Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo, eds., Proceedings of SAT Competition 2014, volume B-2014-2 of Department of Computer Science Series of Publications B, 21, 2014. University of Helsinki, Helsinki, Finland
Details

Armin Biere, Daniel Le Berre, Emmanuel Lonca, Norbert Manthey
Detecting Cardinality Constraints in CNF
In Carsten Sinz and Uwe Egly, eds., Theory and Applications of Satisfiability Testing ? SAT 2014, volume 8561 of Lecture Notes in Computer Science, 285-301, 2014. Springer
Details

Marijn J.H. Heule, Norbert Manthey, Tobias Philipp
Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers
In Daniel Le Berre, eds., Pragmatics of SAT 2014, volume 27 of EPiC Series, 12-25, 2014. EasyChair
Details

Steffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke
Generic CDCL – A Formalization of Modern Propositional Satisfiability Solvers
In Daniel Le Berre, eds., POS-14, volume 27 of EPiC Series, 89-102, 2014. EasyChair
Details

Steffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke
Generic CDCL – A Formalization of Modern Propositional Satisfiability Solvers
In Steffen Hölldobler and Andrey Malikov and Christoph Wernhard, eds., Proceedings of the Young Scientists' International Workshop on Trends in Information Processing, 2014
Details

Davide Lanti, Ahmed Irfan, Norbert Manthey
Pcasso -- a Parallel CooperAtive Sat SOlver
In Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo, eds., Proceedings of SAT Competition 2014, volume B-2014-2 of Department of Computer Science Series of Publications B, 56, 2014. University of Helsinki, Helsinki, Finland
Details

Norbert Manthey, Tobias Philipp
Formula Simplifications as DRAT Derivations
In Carsten Lutz and Michael Tielscher, eds., KI 2014: Advances in Artificial Intelligence, volume 8736 of Lecture Notes in Computer Science, 111-122, 2014. Springer
Details

Norbert Manthey
Extended Resolution in Modern SAT Solving
Joint Automated Reasoning Workshop and Deduktionstreffen, 2014
Details

Norbert Manthey
CDCL Solver Additions: Local Look-ahead, All-Unit-UIP Learning and On-the-fly Probing
In Carsten Lutz and Michael Tielscher, eds., KI 2014: Advances in Artificial Intelligence, volume 8736 of Lecture Notes in Computer Science, 98-110, 2014. Springer
Details

Norbert Manthey, Peter Steinke
Too Many Rooks
In Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo, eds., Proceedings of SAT Competition 2014, volume B-2014-2 of Department of Computer Science Series of Publications B, 97-98, 2014. University of Helsinki, Helsinki, Finland
Details

Norbert Manthey, Tobias Philipp, Peter Steinke
A More Compact Translation of Pseudo-Boolean Constraints into CNF such that Generalized Arc Consistency is Maintained
In Carsten Lutz and Michael Tielscher, eds., KI 2014: Advances in Artificial Intelligence, volume 8736 of Lecture Notes in Computer Science, 123-134, 2014. Springer
Details

Norbert Manthey
Riss 4.27
In Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo, eds., Proceedings of SAT Competition 2014, volume B-2014-2 of Department of Computer Science Series of Publications B, 65-67, 2014. University of Helsinki, Helsinki, Finland
Details

Norbert Manthey
MinitSAT
In Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo, eds., Proceedings of SAT Competition 2014, volume B-2014-2 of Department of Computer Science Series of Publications B, 48, 2014. University of Helsinki, Helsinki, Finland
Details

Norbert Manthey
Generating Clique Coloring Problem Formulas
In Anton Belov and Daniel Diepold and Marijn J.H. Heule and Matti Järvisalo, eds., Proceedings of SAT Competition 2014, volume B-2014-2 of Department of Computer Science Series of Publications B, 89, 2014. University of Helsinki, Helsinki, Finland
Details

Adrian Balint, Norbert Manthey
Boosting the Performance of SLS and CDCL Solvers by Preprocessor Tuning
Pragmatics of SAT(POS'13), 2013
Details

Kilian Gebhard, Norbert Manthey
Parallel Variable Elimination on CNF Formulas
Pragmatics of SAT(POS'13), 2013
Details

Ahmed Irfan, Davide Lanti, Norbert Manthey
Modern Cooperative Parallel SAT Solving
Pragmatics of SAT(POS'13), 2013
Details

Vladimir Klebanov, Norbert Manthey, Christian Muise
SAT-Based Analysis and Quantification of Information Flow in Programs
In K. R. Joshi and M. Siegle and M. Stoelinga and P. R. D'Argenio, eds., Quantitative Evaluation of Systems,, volume 8054 of LNCS, 177-192, 2013. Springer
Details

Davide Lanti, Norbert Manthey
Sharing Information in Parallel Search with Search Space Partitioning
In Giuseppe Nicosia and Panos M. Pardalos, eds., Learning and Intelligent Optimization, volume 7997 of Lecture Notes in Computer Science, 52-58, 2013. Springer
Details

Norbert Manthey, Tobias Philipp, Christoph Wernhard
Soundness of Inprocessing in Clause Sharing SAT Solvers
In Matti Järvisalo and Allen Van Gelder, eds., Theory and Applications of Satisfiability Testing, 16th International Conference, SAT 2013, volume 7962 of LNCS, 22-39, 2013. Springer
Details

Norbert Manthey, Marijn J. H. Heule, Armin Biere
Automated Reencoding of Boolean Formulas
Proceedings of Haifa Verification Conference 2012, 2012
Details

Norbert Manthey, Peter Steinke
npSolver - a SAT based Solver for Optimization Problems (System Description)
Pragmatics of SAT 2012(POS'12), 2012
Details

Norbert Manthey, Robert Stelzmann
The SAT Solver Framework priss (System Description)
Pragmatics of SAT 2012(POS'12), 2012
Details

Norbert Manthey
Coprocessor - a Standalone SAT Preprocessor
Proceedings of the 25th Workshop on Logic Programming, WLP 2011, 2011
Details

Norbert Manthey, Ari Saptawijaya
Towards Improving the Resource Usage of SAT-solvers
Pragmatics of SAT (POS), July 2010
Details Download

Dissertationen

Norbert Manthey
Towards Next Generation Sequential and Parallel SAT Solvers
Phd thesis, TU Dresden, 2014/12/01
Details

Technische Berichte

Norbert Manthey, Rafael Peñaloza
Exploiting SAT Technology for Axiom Pinpointing
Technical Report, Chair of Automata Theory, Institute of Theoretical Computer Science, Technische Universität Dresden, volume 15-05, 2015
Details Download

Norbert Manthey
Refining Unsatisfiable Cores in Incremental SAT Solving
Technical Report, TU Dresden, September 2015
Details Download

Norbert Manthey
An A-Maze-ing SAT Solving Visualization
Technical Report, TU Dresden, April 2015
Details Download

Peter Steinke, Norbert Manthey
PBLib — A C++ Toolkit for EncodingPseudo–Boolean Constraints into CNF
Technical Report, TU Dresden, volume 2014-01, 2014. Technical Report
Details Download

Davide Lanti, Norbert Manthey
Sharing Information in Parallel Search with Search Space Partitioning
Technical Report, Knowledge Representation and Reasoning Group, volume 1, 2013
Details Download

Steffen Hölldobler, Norbert Manthey, Peter Steinke
A Compact Encoding of Pseudo-Boolean Constraints into SAT
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2012
Details Download

Norbert Manthey
Hidden Units, Equivalences and Implications (Poster Presentation)
Technical Report, Knowledge Representation and Reasoning, volume 12-05, October 2012
Details Download

Norbert Manthey
Solver Description of RISS 2.0 and PRISS 2.0
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2012
Details Download

Steffen Hölldobler, Norbert Manthey, Van Hau Nguyen, Julian Stecklina, Peter Steinke
Modern Parallel SAT-Solvers
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2011
Details Download

Norbert Manthey
Solver submission of riss 1.0 to the SAT Competition 2011
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2011
Details Download

Norbert Manthey, Peter Steinke
Quadratic,Direct,Encoding,vs.,Linear,Order,Encoding
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2011
Details Download

Norbert Manthey
A More Efficient Parallel Unit Propagation
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2011
Details Download

Norbert Manthey
Parallel SAT Solving - Using More Cores
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2011
Details Download

Vorträge und Sonstiges

Sarah Alice Gaggl, Norbert Manthey
ASPARTIX-D Ready for the Competition
Presentation at Argumentation Spring Meeting 2015, Leipzig, April 2015
Details Download

Norbert Manthey
Extended Resolution in Modern SAT Solving
Wien, Österreich - Joint Automated Reasoning Workshop and Deduktionstreffen, July 2014
Details

Norbert Manthey
Formula Simplifications as DRAT Derivations
Stuttgart, Deutschland - German Conference on Artificial Intelligence, September 2014
Details

Norbert Manthey
CDCL Solver Additions: Local Look-ahead, All-Unit-UIP Learning and On-the-fly Probing
Stuttgart, Deutschland - German Conference on Artificial Intelligence, September 2014
Details

Norbert Manthey
A Compact Encoding of Pseudo-Boolean Constraints into SAT
KI 2012, Saarbrücken, Germany, September 2012
Details

Norbert Manthey
npSolver - a SAT based Solver for Optimization Problems
Pragmatics of SAT 2012, Trento, Italy, June 2012
Details

Norbert Manthey
The SAT Solver Framework priss
Pragmatics of SAT 2012, Trento, Italy, June 2012
Details

Norbert Manthey
Coprocessor 2.0 - A flexible CNF Simplifier
SAT 2012, Trento, Italy, June 2012
Details