Autor der Publikation

Computing Diverse Optimal Stable Models.

, , und . ICLP (Technical Communications), Volume 52 von OASIcs, Seite 3:1-3:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)

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

Hybrid Metabolic Network Completion., , , , und . CoRR, (2018)clingo goes Linear Constraints over Reals and Integers., , , , , und . ASPOCP@LPNMR, Volume 1868 von CEUR Workshop Proceedings, CEUR-WS.org, (2017)Design Space Exploration with Answer Set Programming., , , und . KI, 32 (2-3): 205-206 (2018)Scalable Design Space Exploration via Answer Set Programming.. ICLP (Technical Communications), Volume 52 von OASIcs, Seite 23:1-23:11. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Train Scheduling with Hybrid ASP., , , , , und . LPNMR, Volume 11481 von Lecture Notes in Computer Science, Seite 3-17. Springer, (2019)On leveraging approximations for exact system-level design space exploration: work-in-progress., , , und . CODES+ISSS, Seite 15. IEEE / ACM, (2018)Theory Solving Made Easy with Clingo 5., , , , , und . ICLP (Technical Communications), Volume 52 von OASIcs, Seite 2:1-2:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Computing Diverse Optimal Stable Models., , und . ICLP (Technical Communications), Volume 52 von OASIcs, Seite 3:1-3:14. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)teaspoon : solving the curriculum-based course timetabling problems with answer set programming., , , , , , , und . Annals OR, 275 (1): 3-37 (2019)The Potsdam Answer Set Solving Collection 5.0., , , , , , , , , und . KI, 32 (2-3): 181-182 (2018)