Publications of Peter Steinke

Peter Steinke

Proceedings Articles

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

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

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

Conrad Drescher, Hongkai Liu, Franz Baader, Peter Steinke, Michael Thielscher
Putting ABox Updates into Action
Proceedings of the 8th IJCAI International Workshop on Nonmontonic Reasoning, Action and Change (NRAC-09), 2009
Details Download

Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher
Putting ABox Updates into Action
In Silvio Ghilardi and Roberto Sebastiani, eds., The Seventh International Symposium on Frontiers of Combining Systems (FroCoS-2009), volume 5749 of Lecture Notes in Computer Science, 149-164, 2009. Springer
Details Download

Technical Reports

Peter Steinke
PBLib — A C++ Toolkit for EncodingPseudo–Boolean Constraints into CNF
Technical Report, TU Dresden, volume 2015-01, 2015. Technical Report
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

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

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, Peter Steinke
Quadratic,Direct,Encoding,vs.,Linear,Order,Encoding
Technical Report, TU Dresden, Knowledge Representation and Reasoning, 2011
Details Download

Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher
Putting ABox Updates into Action
Technical Report, Chair for Automata Theory, Institute for Theoretical Computer Science, Dresden University of Technology, volume 09-01, 2009. LTCS-Report
Details Download