Peter Steinke
From International Center for Computational Logic
Peter Steinke
Former member
- Former PhD Researcher in Research Group Knowledge Representation and Reasoning
Newest Publications
Peter Steinke
PBLib — A C++ Toolkit for EncodingPseudo–Boolean Constraints into CNF
Technical Report, TU Dresden, volume 2015-01, 2015. Technical Report
Details Download
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
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
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, 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
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
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, Peter Steinke
npSolver - a SAT based Solver for Optimization Problems (System Description)
Pragmatics of SAT 2012(POS'12), 2012
Details
Norbert Manthey, Peter Steinke
Quadratic,Direct,Encoding,vs.,Linear,Order,Encoding
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2011
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
Courses
- Knowledge Representation and Reasoning Seminar (WS 2016)
- Forschungslinie (SS 2016)
- Knowledge Representation and Reasoning Seminar (SS 2016)
- Formale Systeme (WS 2015)
- SAT-Solving (SS 2015)
Completed Theses
- Präprozessortechniken für Pseudo-Boolean-Constraints
- by Timo Richter (22 März 2017)
- Supervisor: Steffen Hölldobler, Peter Steinke
- Polynomial Reduction from PESP to SAT
- by Peter Großmann (21 Oktober 2011)
- Supervisor: Peter Steinke
