Name Card

Full name Familienname, Vorname
Philipp, Tobias
 

Own Publications Eigene Publikationen

Results 1-3 of 3 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Fichte, Johannes ; Hecher, Markus ; Philipp, Tobias Inconsistency Proofs for ASP: The ASP-DRUPE FormatKonferenzbeitrag Inproceedings 2019
2Forkel, Walter ; Philipp, Tobias ; Rebola Pardo, Adrian ; Werner, Elias Fuzzing and Verifying RAT Refutations with Deletion InformationKonferenzbeitrag Inproceedings2017
3Philipp, Tobias ; Rebola Pardo, Adrian Towards a Semantics of Unsatisfiability Proofs with InprocessingKonferenzbeitrag Inproceedings2017