( en | de | ru )

 

Disambiguation of "Philipp, Tobias"

Author of the publication

copydeleteadd this publication to your clipboard
Inconsistency Proofs for ASP: The ASP - DRUPE Format.

, , , , , and . Theory Pract. Log. Program., 19 (5-6): 891-907 (2019)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Tobias Philipp

Philipp Tobias Meyer

Tobias Philipp Haschek

Tobias Peter Philipp

Tobias Max Philipp Hartwich

 

Other publications of authors with the same name

Plattformen für mobile Geschäftsanwendungen - am Beispiel der Sybase Unwired Platform., and . HMD Prax. Wirtsch., (2012)subsequently labeled as volume 49 number 4 by Springer.Towards a Semantics of Unsatisfiability Proofs with Inprocessing., and . LPAR, volume 46 of EPiC Series in Computing, page 65-84. EasyChair, (2017)Contextual Abduction and its Complexity Issues., , and . DARe@LPNMR, volume 1872 of CEUR Workshop Proceedings, page 58-70. CEUR-WS.org, (2017)Smoke Test Planning using Answer Set Programming., , and . Int. J. Interact. Multim. Artif. Intell., 6 (5): 57-65 (2021)Unsatisfiability Proofs for Parallel SAT Solver Portfolios with Clause Sharing and Inprocessing.. GCAI, volume 41 of EPiC Series in Computing, page 24-38. EasyChair, (2016)DRAT Proofs for XOR Reasoning., and . JELIA, volume 10021 of Lecture Notes in Computer Science, page 415-429. (2016)An Expressive Model for Instance Decomposition Based Parallel SAT Solvers.. FroCos, volume 9322 of Lecture Notes in Computer Science, page 101-116. Springer, (2015)Inconsistency Proofs for ASP: The ASP - DRUPE Format., , , , , and . Theory Pract. Log. Program., 19 (5-6): 891-907 (2019)Imaginary carrot or effective fertiliser? A rejoinder on funding and productivity., , and . Scientometrics, 126 (11): 9333-9338 (2021)Checking Unsatisfiability Proofs in Parallel., and . POS@SAT, volume 59 of EPiC Series in Computing, page 34-49. EasyChair, (2018)