Peter Steinke

Publication Activity (10 Years)

Years Active: 2009-2015
Publications (10 Years): 1

Top Topics

Propositional Satisfiability

Generalized Arc Consistency

Scheduling Problem

Top Venues

Technische Hochschule Dresden, Germany (PHD)

Education History

Technische Hochschule Dresden, Germany

PHD

Publications

Tobias Philipp, Peter Steinke
PBLib - A Library for Encoding Pseudo-Boolean Constraints into CNF. SAT (2015)
Steffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke
Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers. YSIP (2014)
Norbert Manthey, Tobias Philipp, Peter Steinke
A More Compact Translation of Pseudo-Boolean Constraints into CNF Such That Generalized Arc Consistency Is Maintained. KI (2014)
Steffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke
Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers. POS@SAT (2014)
Peter Großmann, Steffen Hölldobler, Norbert Manthey, Karl Nachtigall, Jens Opitz, Peter Steinke
Solving Periodic Event Scheduling Problems with SAT. IEA/AIE (2012)
Steffen Hölldobler, Norbert Manthey, Peter Steinke
A Compact Encoding of Pseudo-Boolean Constraints into SAT. KI (2012)
Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher
Putting ABox Updates into Action. FroCoS (2009)