Follow
Peter Steinke
Peter Steinke
TU Dresden, Informatik
Verified email at tu-dresden.de
Title
Cited by
Cited by
Year
Solving periodic event scheduling problems with SAT
P Großmann, S Hölldobler, N Manthey, K Nachtigall, J Opitz, P Steinke
Advanced Research in Applied Artificial Intelligence: 25th International …, 2012
882012
Pblib–a library for encoding pseudo-boolean constraints into cnf
T Philipp, P Steinke
International Conference on Theory and Applications of Satisfiability …, 2015
722015
A compact encoding of pseudo-Boolean constraints into SAT
S Hölldobler, N Manthey, P Steinke
Annual Conference on Artificial Intelligence, 107-118, 2012
432012
A short overview on modern parallel SAT-solvers
S Hölldobler, N Manthey, J Stecklina, P Steinke
2011 International Conference on Advanced Computer Science and Information …, 2011
422011
A more compact translation of pseudo-Boolean constraints into CNF such that generalized arc consistency is maintained
N Manthey, T Philipp, P Steinke
Joint German/Austrian Conference on Artificial Intelligence (Künstliche …, 2014
312014
Putting abox updates into action
C Drescher, H Liu, F Baader, S Guhlemann, U Petersohn, P Steinke, ...
Frontiers of Combining Systems: 7th International Symposium, FroCoS 2009 …, 2009
162009
Generic CDCL-A Formalization of Modern Propositional Satisfiability Solvers.
S Hölldobler, N Manthey, T Philipp, P Steinke
POS@ SAT 27, 89-102, 2014
152014
Modern parallel SAT-solvers
S Hölldobler, N Manthey, PSVH Nguyen, J Stecklina
TR 2011–6, 2011
102011
Quadratic direct encoding vs. linear order encoding, a one-out-of-n transformation on cnf
N Manthey, P Steinke
Proceedings of the First International Workshop on the Cross-Fertilization …, 2011
92011
npsolver–A SAT based solver for optimization problems
N Manthey, P Steinke
Pragmatics of SAT, 2012
82012
Too many rooks
N Manthey, P Steinke
Proceedings of SAT competition, 97-98, 2014
72014
Solving hidokus using sat solvers
S Hölldobler, N Manthey, VH Nguyen, P Steinke
Proc. INFOCOM 5, 208-212, 2012
72012
Solving public railway transport networks with SAT
P Großmann, S Hölldobler, N Manthey, K Nachtigall, J Opitz, P Steinke
25th International Conference on Industrial Engineering and Other …, 2012
52012
HydraSAT 2009.3 solver description
C Baldow, F Gräter, S Hölldobler, N Manthey, M Seelemann, P Steinke, ...
SAT 2009 competitive events booklet: preliminary version, 15, 2009
52009
PBLib—A C++ Toolkit for Encoding Pseudo–Boolean Constraints into CNF
P Steinke, N Manthey
TU Dresden, Dresden, Germany, Technical Report 1, 2014, 2014
22014
Pseudo-Boolean Constraint Encodings for Conjunctive Normal Form and their Applications
P Steinke
2020
Quadratic direct encoding vs. linear order encoding
N Manthey, P Steinke
First International Workshop on the Cross-Fertilization Between CSP and SAT …, 2011
2011
Putting ABox Updates into Action
F Baader, C Drescher, H Liu, S Guhlemann, U Petersohn, P Steinke, ...
Technische Universität Dresden, 2009
2009
Keeping Updated ALCO+ ABoxes small
P Steinke
2009
Optimax–An Incomplete MaxSAT Solver
N Manthey, P Steinke
The system can't perform the operation now. Try again later.
Articles 1–20