Author of the publication

Theory Solving Made Easy with Clingo 5.

, , , , , and . ICLP (Technical Communications), volume 52 of OASIcs, page 2:1-2:15. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)

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.

 

Other publications of authors with the same name

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