Autor der Publikation

On the Implementation of Weight Constraint Rules in Conflict-Driven ASP Solvers.

, , , und . ICLP, Volume 5649 von Lecture Notes in Computer Science, Seite 250-264. Springer, (2009)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Multi-shot ASP solving with clingo., , , und . Theory Pract. Log. Program., 19 (1): 27-82 (2019)On the Foundations of Grounding in Answer Set Programming., und . Theory Pract. Log. Program., 23 (6): 1138-1197 (November 2023)Which Objective Function is Solved Faster in Multi-Agent Pathfinding? It Depends., , , , und . ICAART (3), Seite 23-33. SCITEPRESS, (2024)aspeed: ASP-based Solver Scheduling., , , und . ICLP (Technical Communications), Volume 17 von LIPIcs, Seite 176-187. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Multi-Agent Pathfinding with Predefined Paths: To Wait, or Not to Wait, That Is the Question Extended Abstract., , , , , und . SOCS, Seite 185-186. AAAI Press, (2023)Solver Scheduling via Answer Set Programming., , , und . CoRR, (2014)How to Build Your Own ASP-based System?!, , , und . Theory Pract. Log. Program., 23 (1): 299-361 (2023)Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report., , , , und . CoRR, (2024)How to build your own ASP-based system?!, , , und . CoRR, (2020)telingo = ASP + Time., , , und . LPNMR, Volume 11481 von Lecture Notes in Computer Science, Seite 256-269. Springer, (2019)