Edit Profile (opens in new tab) Steinke, Peter Compute Distance To: Compute Author ID: steinke.peter Published as: Steinke, Peter Documents Indexed: 7 Publications since 2004, including 5 Books Co-Authors: 7 Co-Authors with 2 Joint Publications 121 Co-Co-Authors all top 5 Co-Authors 5 single-authored 1 Baader, Franz 1 Drescher, Conrad 1 Guhlemann, Steffen 1 Liu, Hongkai 1 Petersohn, Uwe 1 Philipp, Tobias 1 Thielscher, Michael Serials Fields 5 Mechanics of deformable solids (74-XX) 2 Computer science (68-XX) Publications by Year all cited Publications top 5 cited Publications Citations contained in zbMATH Open 2 Publications have been cited 13 times in 13 Documents Cited by ▼ Year ▼ PBLib – a library for encoding pseudo-Boolean constraints into CNF. Zbl 1471.68261Philipp, Tobias; Steinke, Peter 10 2015 Putting ABox updates into action. Zbl 1193.68233Drescher, Conrad; Liu, Hongkai; Baader, Franz; Guhlemann, Steffen; Petersohn, Uwe; Steinke, Peter; Thielscher, Michael 3 2009 PBLib – a library for encoding pseudo-Boolean constraints into CNF. Zbl 1471.68261Philipp, Tobias; Steinke, Peter 10 2015 Putting ABox updates into action. Zbl 1193.68233Drescher, Conrad; Liu, Hongkai; Baader, Franz; Guhlemann, Steffen; Petersohn, Uwe; Steinke, Peter; Thielscher, Michael 3 2009 all cited Publications top 5 cited Publications all top 5 Cited by 53 Authors 2 Iser, Markus 1 Ansótegui, Carlos 1 Auricchio, Gennaro 1 Balyo, Tomáš 1 Biere, Armin 1 Bierlee, Hendrik 1 Bofill, Miquel 1 Cai, Shaowei 1 Coll, Jordi 1 Dekker, Jip J. 1 Drescher, Conrad 1 Ferrarini, Luca 1 Froleyks, Nils 1 Gange, Graeme 1 Ghosh, Bishwamittra 1 Gualandi, Stefano 1 Heule, Marijn J. H. 1 Hoos, Holger H. 1 Järvisalo, Matti 1 Karpiński, Michał 1 Kyrillidis, Anastasios 1 Lanzarotto, Greta 1 Lei, Zhendong 1 Leite, João 1 Liu, Hongkai 1 Luo, Chuan 1 Lutz, Carsten 1 Malioutov, Dmitry M. 1 Meel, Kuldeep S. 1 Miličić, Maja 1 Nightingale, Peter W. 1 Ojeda, Jesús 1 Pacheco, António 1 Pernazza, Ludovico 1 Piotrów, Marek 1 Pon, Josep 1 Salvia, Josep M. 1 Schiffel, Stephan 1 Shrivastava, Anshumali 1 Sinz, Carsten 1 Slota, Martin 1 Stuckey, Peter James 1 Suda, Martin 1 Suy, Josep 1 Swift, Theresa 1 Tack, Guido 1 Thielscher, Michael 1 Torres, Eduard 1 Ulrich-Oltean, Felix 1 Vardi, Moshe Ya’akov 1 Villaret, Mateu 1 Wolter, Frank 1 Zhang, Zhiwei Cited in 3 Serials 6 Artificial Intelligence 1 The Journal of Artificial Intelligence Research (JAIR) 1 Constraints Cited in 4 Fields 13 Computer science (68-XX) 2 Operations research, mathematical programming (90-XX) 1 General and overarching topics; collections (00-XX) 1 Convex and discrete geometry (52-XX) Citations by Year