Tobias Philipp

25 papers A 2B 3Misc 3Journal 6Unranked 11
YearRankTypeTitle / Venue / Authors
2023 B conf
A Logic Programming Approach to Global Logistics in a Co-Design Environment.
ICLP
Emmanuelle Dietz, Tobias Philipp, Gerrit Schramm, Andreas Zindel
2023 J jnl
Lazily-Verifiable SAT Proof Checker in SPARK 2014.
Datenschutz und Datensicherheit
André Dietrich, Christopher Schmidt, Nico Enghardt, Tobias Philipp
2021 J jnl
Imaginary carrot or effective fertiliser? A rejoinder on funding and productivity.
Scientometrics
Rachel Heyard, Tobias Philipp, Hanna Hottenrott
2021 J jnl
Smoke Test Planning using Answer Set Programming.
Int. J. Interact. Multim. Artif. Intell.
Tobias Philipp, Valentin Roland, Lukas Schweizer
2019 J jnl
Inconsistency Proofs for ASP: The ASP - DRUPE Format.
Theory Pract. Log. Program.
Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp, Jakob Rath
2019 J jnl
Inconsistency Proofs for ASP: The ASP-DRUPE Format.
CoRR
Mario Alviano, Carmine Dodaro, Johannes Klaus Fichte, Markus Hecher, Tobias Philipp, Jakob Rath
2018 — conf
Checking Unsatisfiability Proofs in Parallel.
POS@SAT
Norbert Manthey, Tobias Philipp
2017 — conf
Contextual Abduction and its Complexity Issues.
DARe@LPNMR
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Tobias Philipp
2017 Misc conf
Fuzzing and Verifying RAT Refutations with Deletion Information.
FLAIRS
Walter Forkel, Tobias Philipp, Adrian Rebola-Pardo, Elias Werner
2017 — conf
The Complexity of Contextual Abduction in Human Reasoning Tasks.
YSIP
Emmanuelle-Anna Dietz Saldanha, Steffen Hölldobler, Tobias Philipp
2017 B conf
Towards a Semantics of Unsatisfiability Proofs with Inprocessing.
LPAR
Tobias Philipp, Adrián Rebola-Pardo
2016 — conf
A Verified Decision Procedure for Pseudo-Boolean Formulas.
PlanSIG
Tobias Philipp, Anna Tigunova
2016 B conf
DRAT Proofs for XOR Reasoning.
JELIA
Tobias Philipp, Adrian Rebola-Pardo
2016 — conf
Unsatisfiability Proofs for Parallel SAT Solver Portfolios with Clause Sharing and Inprocessing.
GCAI
Tobias Philipp
2015 — conf
An Expressive Model for Instance Decomposition Based Parallel SAT Solvers.
FroCos
Tobias Philipp
2015 A conf
PBLib - A Library for Encoding Pseudo-Boolean Constraints into CNF.
SAT
Tobias Philipp, Peter Steinke
2014 Misc conf
A More Compact Translation of Pseudo-Boolean Constraints into CNF Such That Generalized Arc Consistency Is Maintained.
KI
Norbert Manthey, Tobias Philipp, Peter Steinke
2014 — conf
Clause Simplifications in Search-Space Decomposition-Based Sat Solvers.
STAIRS
Tobias Philipp
2014 Misc conf
Formula Simplifications as DRAT Derivations.
KI
Norbert Manthey, Tobias Philipp
2014 — conf
Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers.
POS@SAT
Steffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke
2014 — conf
Generic CDCL - A Formalization of Modern Propositional Satisfiability Solvers.
YSIP
Steffen Hölldobler, Norbert Manthey, Tobias Philipp, Peter Steinke
2014 — conf
Validating Unsatisfiability Results of Clause Sharing Parallel SAT Solvers.
POS@SAT
Marijn Heule, Norbert Manthey, Tobias Philipp
2013 A conf
Soundness of Inprocessing in Clause Sharing SAT Solvers.
SAT
Norbert Manthey, Tobias Philipp, Christoph Wernhard
2012 J jnl
Plattformen für mobile Geschäftsanwendungen - am Beispiel der Sybase Unwired Platform.
HMD Prax. Wirtsch.
Domenico Martino, Tobias Philipp
2011 — conf
An Abductive Model for Human Reasoning.
AAAI Spring Symposium: Logical Formalizations of Commonsense Reasoning
Steffen Hölldobler, Tobias Philipp, Christoph Wernhard