Author of the publication

On leveraging approximations for exact system-level design space exploration: work-in-progress.

, , , and . CODES+ISSS, page 15. IEEE / ACM, (2018)

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

Evolutionary System Design with Answer Set Programming., , , , and . Algorithms, 16 (4): 179 (April 2023)Routing and Scheduling in different ways: Abridged Preliminary Report., , , , , and . ICLP Workshops, volume 3437 of CEUR Workshop Proceedings, CEUR-WS.org, (2023)How to build your own ASP-based system?!, , , and . CoRR, (2020)On the Semantics of Hybrid ASP Systems Based on Clingo., , , and . Algorithms, 16 (4): 185 (April 2023)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)Train Scheduling with Hybrid ASP., , , , , and . LPNMR, volume 11481 of Lecture Notes in Computer Science, page 3-17. Springer, (2019)teaspoon : solving the curriculum-based course timetabling problems with answer set programming., , , , , , , and . Ann. Oper. Res., 275 (1): 3-37 (2019)Investigating Methods for ASPmT-Based Design Space Exploration in Evolutionary Product Design., , , and . Int. J. Parallel Program., 52 (1): 59-92 (April 2024)How to Build Your Own ASP-based System?!, , , and . Theory Pract. Log. Program., 23 (1): 299-361 (2023)Train Scheduling with Hybrid Answer Set Programming., , , , , and . Theory Pract. Log. Program., 21 (3): 317-347 (2021)