Putting ABox Updates into Action. - Conrad Drescher; Hongkai Liu; Franz Baader; Steffen Guhlemann; Uwe Petersohn; Peter Steinke; Michael Thielscher (FroCoS, 2009)

Solving Periodic Event Scheduling Problems with SAT. - Peter Großmann; Steffen Hölldobler; Norbert Manthey; Karl Nachtigall; Jens Opitz; Peter Steinke (IEA/AIE, 2012)

A Compact Encoding of Pseudo-Boolean Constraints into SAT. - Steffen Hölldobler; Norbert Manthey; Peter Steinke (KI, 2012)

A More Compact Translation of Pseudo-Boolean Constraints into CNF Such That Generalized Arc Consistency Is Maintained. - Norbert Manthey; Tobias Philipp; Peter Steinke (KI, 2014)

Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers. - Steffen Hölldobler; Norbert Manthey; Tobias Philipp; Peter Steinke (YSIP, 2014)

PBLib - A Library for Encoding Pseudo-Boolean Constraints into CNF. - Tobias Philipp; Peter Steinke (SAT, 2015)

Pseudo-Boolean constraint encodings for conjunctive normal form and their applications. - Peter Steinke (2020)