Tobias Philipp

According to our database, Tobias Philipp authored at least 23 papers between 2011 and 2023.

Collaborative distances:

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

2023

Lazily-Verifiable SAT Proof Checker in SPARK 2014.

André Dietrich, Christopher Schmidt, Nico Enghardt, Tobias Philipp

Datenschutz und Datensicherheit, 2023

A Logic Programming Approach to Global Logistics in a Co-Design Environment.

Emmanuelle Dietz, Tobias Philipp, Gerrit Schramm, Andreas Zindel

Proceedings of the Proceedings 39th International Conference on Logic Programming, 2023

2021

Imaginary carrot or effective fertiliser? A rejoinder on funding and productivity.

Rachel Heyard, Tobias Philipp, Hanna Hottenrott

Scientometrics, 2021

Smoke Test Planning using Answer Set Programming.

Tobias Philipp, Valentin Roland, Lukas Schweizer

Int. J. Interact. Multim. Artif. Intell., 2021

2019

Inconsistency Proofs for ASP: The ASP - DRUPE Format.

Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp, Jakob Rath

Theory Pract. Log. Program., 2019

2018

Checking Unsatisfiability Proofs in Parallel.

Norbert Manthey, Tobias Philipp

Proceedings of Pragmatics of SAT 2015, 2018

2017

The Complexity of Contextual Abduction in Human Reasoning Tasks.

Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Tobias Philipp

Proceedings of the YSIP2, 2017

Contextual Abduction and its Complexity Issues.

Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Tobias Philipp

Proceedings of the 4th International Workshop on Defeasible and Ampliative Reasoning (DARe-17) co-located with the 14th International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR 2017), 2017

Towards a Semantics of Unsatisfiability Proofs with Inprocessing.

Tobias Philipp, Adrián Rebola-Pardo

Proceedings of the LPAR-21, 2017

Fuzzing and Verifying RAT Refutations with Deletion Information.

Walter Forkel, Tobias Philipp, Adrian Rebola-Pardo, Elias Werner

Proceedings of the Thirtieth International Florida Artificial Intelligence Research Society Conference, 2017

2016

A Verified Decision Procedure for Pseudo-Boolean Formulas.

Tobias Philipp, Anna Tigunova

Proceedings of the 34th Workshop of the UK Planning and Scheduling Special Interest Group, 2016

DRAT Proofs for XOR Reasoning.

Tobias Philipp, Adrian Rebola-Pardo

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

Unsatisfiability Proofs for Parallel SAT Solver Portfolios with Clause Sharing and Inprocessing.

Tobias Philipp

Proceedings of the GCAI 2016. 2nd Global Conference on Artificial Intelligence, September 19, 2016

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

An Expressive Model for Instance Decomposition Based Parallel SAT Solvers.

Tobias Philipp

Proceedings of the Frontiers of Combining Systems - 10th International Symposium, 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

Clause Simplifications in Search-Space Decomposition-Based Sat Solvers.

Tobias Philipp

Proceedings of the STAIRS 2014, 2014

Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers.

Marijn Heule, Norbert Manthey, Tobias Philipp

Proceedings of the POS-14. Fifth Pragmatics of SAT workshop, 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

Formula Simplifications as DRAT Derivations.

Norbert Manthey, Tobias Philipp

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

2013

Soundness of Inprocessing in Clause Sharing SAT Solvers.

Norbert Manthey, Tobias Philipp, Christoph Wernhard

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

2012

Plattformen für mobile Geschäftsanwendungen - am Beispiel der Sybase Unwired Platform.

Domenico Martino, Tobias Philipp

HMD Prax. Wirtsch., 2012

2011

An Abductive Model for Human Reasoning.

Steffen Hölldobler, Tobias Philipp, Christoph Wernhard

Proceedings of the Logical Formalizations of Commonsense Reasoning, 2011