( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Inconsistency Proofs for ASP: The ASP - DRUPE Format.

, , , , , и . 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.

Tobias Philipp

Philipp Tobias Meyer

Tobias Philipp Haschek

Tobias Peter Philipp

Tobias Max Philipp Hartwich

 

Другие публикации лиц с тем же именем

Plattformen für mobile Geschäftsanwendungen - am Beispiel der Sybase Unwired Platform., и . HMD Prax. Wirtsch., (2012)subsequently labeled as volume 49 number 4 by Springer.Smoke Test Planning using Answer Set Programming., , и . Int. J. Interact. Multim. Artif. Intell., 6 (5): 57-65 (2021)Unsatisfiability Proofs for Parallel SAT Solver Portfolios with Clause Sharing and Inprocessing.. GCAI, том 41 из EPiC Series in Computing, стр. 24-38. EasyChair, (2016)Contextual Abduction and its Complexity Issues., , и . DARe@LPNMR, том 1872 из CEUR Workshop Proceedings, стр. 58-70. CEUR-WS.org, (2017)Towards a Semantics of Unsatisfiability Proofs with Inprocessing., и . LPAR, том 46 из EPiC Series in Computing, стр. 65-84. EasyChair, (2017)A More Compact Translation of Pseudo-Boolean Constraints into CNF Such That Generalized Arc Consistency Is Maintained., , и . KI, том 8736 из Lecture Notes in Computer Science, стр. 123-134. Springer, (2014)PBLib - A Library for Encoding Pseudo-Boolean Constraints into CNF., и . SAT, том 9340 из Lecture Notes in Computer Science, стр. 9-16. Springer, (2015)The Complexity of Contextual Abduction in Human Reasoning Tasks., , и . YSIP, том 1837 из CEUR Workshop Proceedings, стр. 65-74. CEUR-WS.org, (2017)Clause Simplifications in Search-Space Decomposition-Based Sat Solvers.. STAIRS, том 264 из Frontiers in Artificial Intelligence and Applications, стр. 211-219. IOS Press, (2014)Fuzzing and Verifying RAT Refutations with Deletion Information., , , и . FLAIRS, стр. 190-193. AAAI Press, (2017)