The design of embedded systems is becoming continuously more complex such that the application of efficient high level design methods are crucial for competitive results regarding design time and performance. Recently, advances in Boolean constraint solvers for Answer Set Programming (ASP) allow for easy integration of background theories and more control over the solving process. The goal of this research is to leverage those advances for system level design space exploration while using specialized techniques from electronic design automation that drive new application-originated ideas for multi-objective combinatorial optimization.
@InProceedings{wanko:OASIcs.ICLP.2016.23, author = {Wanko, Philipp}, title = {{Scalable Design Space Exploration via Answer Set Programming}}, booktitle = {Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)}, pages = {23:1--23:11}, series = {Open Access Series in Informatics (OASIcs)}, ISBN = {978-3-95977-007-1}, ISSN = {2190-6807}, year = {2016}, volume = {52}, editor = {Carro, Manuel and King, Andy and Saeedloei, Neda and De Vos, Marina}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/OASIcs.ICLP.2016.23}, URN = {urn:nbn:de:0030-drops-67496}, doi = {10.4230/OASIcs.ICLP.2016.23}, annote = {Keywords: Answer Set Programming, System Synthesis, Multi-Objective Optimization} }
Feedback for Dagstuhl Publishing