Peter Steinke

According to our database, Peter Steinke authored at least 7 papers between 2009 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Pseudo-Boolean constraint encodings for conjunctive normal form and their applications.

Peter Steinke

PhD thesis, 2020

2015

PBLib - A Library for Encoding Pseudo-Boolean Constraints into CNF.

Tobias Philipp, Peter Steinke

Proceedings of the Theory and Applications of Satisfiability Testing - SAT 2015, 2015

2014

Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers.

Steffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke

Proceedings of the Young Scientists' International Workshop on Trends in Information Processing (YSIP) Co-located with the Sixth International Conference on Infocommunicational Technologies in Science, 2014

A More Compact Translation of Pseudo-Boolean Constraints into CNF Such That Generalized Arc Consistency Is Maintained.

Norbert Manthey, Tobias Philipp, Peter Steinke

Proceedings of the KI 2014: Advances in Artificial Intelligence, 2014

2012

A Compact Encoding of Pseudo-Boolean Constraints into SAT.

Steffen Hölldobler, Norbert Manthey, Peter Steinke

Proceedings of the KI 2012: Advances in Artificial Intelligence, 2012

Solving Periodic Event Scheduling Problems with SAT.

Peter Großmann, Steffen Hölldobler, Norbert Manthey, Karl Nachtigall, Jens Opitz, Peter Steinke

Proceedings of the Advanced Research in Applied Artificial Intelligence, 2012

2009

Putting ABox Updates into Action.

Conrad Drescher, Hongkai Liu, Franz Baader, Steffen Guhlemann, Uwe Petersohn, Peter Steinke, Michael Thielscher

Proceedings of the Frontiers of Combining Systems, 7th International Symposium, 2009