×
Edit Profile (opens in new tab)

Philipp, Tobias

Compute Distance To:
Author ID: philipp.tobias Recent zbMATH articles by "Philipp, Tobias"
Published as: Philipp, Tobias
Documents Indexed: 7 Publications since 2013
Co-Authors: 9 Co-Authors with 5 Joint Publications
113 Co-Co-Authors
all top 5

Co-Authors

2 single-authored
2 Rebola-Pardo, Adrián
1 Alviano, Mario
1 Dodaro, Carmine
1 Fichte, Johannes Klaus
1 Hecher, Markus
1 Manthey, Norbert
1 Rath, Jakob
1 Steinke, Peter
1 Wernhard, Christoph

Serials

1 Theory and Practice of Logic Programming

Fields

7 Computer science (68-XX)
1 Mathematical logic and foundations (03-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

5 Publications have been cited 18 times in 18 Documents Cited by ▼ Year ▼
PBLib – a library for encoding pseudo-Boolean constraints into CNF. Zbl 1471.68261
Philipp, Tobias; Steinke, Peter
10
2015
Soundness of inprocessing in clause sharing SAT solvers. Zbl 1390.68582
Manthey, Norbert; Philipp, Tobias; Wernhard, Christoph
3
2013
DRAT proofs for XOR reasoning. Zbl 1483.68357
Philipp, Tobias; Rebola-Pardo, Adrián
2
2016
Towards a semantics of unsatisfiability proofs with inprocessing. Zbl 1403.68244
Philipp, Tobias; Rebola-Pardo, Adrián
2
2017
Inconsistency proofs for ASP: the ASP-DRUPE format. Zbl 1434.68065
Alviano, Mario; Dodaro, Carmine; Fichte, Johannes K.; Hecher, Markus; Philipp, Tobias; Rath, Jakob
1
2019
Inconsistency proofs for ASP: the ASP-DRUPE format. Zbl 1434.68065
Alviano, Mario; Dodaro, Carmine; Fichte, Johannes K.; Hecher, Markus; Philipp, Tobias; Rath, Jakob
1
2019
Towards a semantics of unsatisfiability proofs with inprocessing. Zbl 1403.68244
Philipp, Tobias; Rebola-Pardo, Adrián
2
2017
DRAT proofs for XOR reasoning. Zbl 1483.68357
Philipp, Tobias; Rebola-Pardo, Adrián
2
2016
PBLib – a library for encoding pseudo-Boolean constraints into CNF. Zbl 1471.68261
Philipp, Tobias; Steinke, Peter
10
2015
Soundness of inprocessing in clause sharing SAT solvers. Zbl 1390.68582
Manthey, Norbert; Philipp, Tobias; Wernhard, Christoph
3
2013
all cited Publications top 5 cited Publications
all top 5

Cited by 61 Authors

5 Biere, Armin
3 Kiesl, Benjamin
2 Heule, Marijn J. H.
2 Iser, Markus
2 Philipp, Tobias
2 Seidl, Martina
2 Tompits, Hans
1 Alviano, Mario
1 Ansótegui, Carlos
1 Auricchio, Gennaro
1 Balyo, Tomáš
1 Barnett, Lee A.
1 Bierlee, Hendrik
1 Bofill, Miquel
1 Cai, Shaowei
1 Coll, Jordi
1 Cruz-Filipe, Luís
1 Dekker, Jip J.
1 Dodaro, Carmine
1 Eiter, Thomas
1 Ferrarini, Luca
1 Fichte, Johannes Klaus
1 Froleyks, Nils
1 Gange, Graeme
1 Ghosh, Bishwamittra
1 Gualandi, Stefano
1 Hecher, Markus
1 Hoos, Holger H.
1 Järvisalo, Matti
1 Karpiński, Michał
1 Kyrillidis, Anastasios
1 Lanzarotto, Greta
1 Lei, Zhendong
1 Lin, Fangzhen
1 Luo, Chuan
1 Malioutov, Dmitry M.
1 Marques-Silva, João P.
1 Meel, Kuldeep S.
1 Nightingale, Peter W.
1 Ojeda, Jesús
1 Pacheco, António
1 Pernazza, Ludovico
1 Piotrów, Marek
1 Pon, Josep
1 Rath, Jakob
1 Rebola-Pardo, Adrián
1 Salvia, Josep M.
1 Schneider-Kamp, Peter
1 Shrivastava, Anshumali
1 Sinz, Carsten
1 Stuckey, Peter James
1 Suda, Martin
1 Suy, Josep
1 Tack, Guido
1 Torres, Eduard
1 Ulrich-Oltean, Felix
1 Vardi, Moshe Ya’akov
1 Villaret, Mateu
1 Wang, Yisong
1 Zhang, Yuanlin
1 Zhang, Zhiwei
all top 5

Cited in 7 Serials

4 Artificial Intelligence
2 Journal of Automated Reasoning
1 The Journal of Artificial Intelligence Research (JAIR)
1 Constraints
1 Theory and Practice of Logic Programming
1 ACM Transactions on Computational Logic
1 Logical Methods in Computer Science
all top 5

Cited in 6 Fields

18 Computer science (68-XX)
4 Mathematical logic and foundations (03-XX)
2 Operations research, mathematical programming (90-XX)
1 General and overarching topics; collections (00-XX)
1 Combinatorics (05-XX)
1 Convex and discrete geometry (52-XX)

Citations by Year