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 | 89 | 2012 |
Pblib–a library for encoding pseudo-boolean constraints into cnf T Philipp, P Steinke International Conference on Theory and Applications of Satisfiability …, 2015 | 72 | 2015 |
A compact encoding of pseudo-Boolean constraints into SAT S Hölldobler, N Manthey, P Steinke Annual Conference on Artificial Intelligence, 107-118, 2012 | 43 | 2012 |
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 | 42 | 2011 |
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 | 31 | 2014 |
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 | 16 | 2009 |
Generic CDCL-A Formalization of Modern Propositional Satisfiability Solvers. S Hölldobler, N Manthey, T Philipp, P Steinke POS@ SAT 27, 89-102, 2014 | 15 | 2014 |
Modern parallel SAT-solvers S Hölldobler, N Manthey, PSVH Nguyen, J Stecklina TR 2011–6, 2011 | 10 | 2011 |
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 | 9 | 2011 |
npsolver–A SAT based solver for optimization problems N Manthey, P Steinke Pragmatics of SAT, 2012 | 8 | 2012 |
Too many rooks N Manthey, P Steinke Proceedings of SAT competition, 97-98, 2014 | 7 | 2014 |
Solving hidokus using sat solvers S Hölldobler, N Manthey, VH Nguyen, P Steinke Proc. INFOCOM 5, 208-212, 2012 | 7 | 2012 |
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 | 5 | 2012 |
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 | 5 | 2009 |
PBLib—A C++ Toolkit for Encoding Pseudo–Boolean Constraints into CNF P Steinke, N Manthey TU Dresden, Dresden, Germany, Technical Report 1, 2014, 2014 | 2 | 2014 |
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 | | |