( en | de | ru )

 

Disambiguation of "Schaub, Torsten"

Author of the publication

copydeleteadd this publication to your clipboard
aspeed: ASP-based Solver Scheduling.

, , , and . ICLP (Technical Communications), volume 17 of LIPIcs, page 176-187. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)

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.

Torsten Schaub

Torsten Schaub

Eva Schaub

Elisabeth Schaub

Bianca Schaub

 

Other publications of authors with the same name

Gelfond-Zhang aggregates as propositional formulas., , , and . Artif. Intell., (2019)Train Scheduling with Hybrid ASP., , , , , and . LPNMR, volume 11481 of Lecture Notes in Computer Science, page 3-17. Springer, (2019)Verifying Strong Equivalence of Programs in the Input Language of gringo., , and . LPNMR, volume 11481 of Lecture Notes in Computer Science, page 270-283. Springer, (2019)The Return of xorro., , , and . LPNMR, volume 11481 of Lecture Notes in Computer Science, page 284-297. Springer, (2019)On the Foundations of Grounding in Answer Set Programming., and . CoRR, (2021)claspfolio 2: Advances in Algorithm Selection for Answer Set Programming., , and . Theory Pract. Log. Program., 14 (4-5): 569-585 (2014)ASP-Core-2 Input Language Format., , , , , , , , , and . Theory Pract. Log. Program., 20 (2): 294-309 (2020)Plingo: A System for Probabilistic Reasoning in Clingo Based on LP MLN ., , , , , and . RuleML+RR, volume 13752 of Lecture Notes in Computer Science, page 54-62. Springer, (2022)Generalized Target Assignment and Path Finding Using Answer Set Programming., , , , and . SOCS, page 194-195. AAAI Press, (2019)Improving the Sum-of-Cost Methods for Reduction-Based Multi-Agent Pathfinding Solvers., , , and . ICAART (1), page 264-271. SCITEPRESS, (2024)