Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH scholarly article en Wanko, Philipp http://www.dagstuhl.de/oasics License
when quoting this document, please refer to the following
DOI:
URN: urn:nbn:de:0030-drops-67496
URL:

Scalable Design Space Exploration via Answer Set Programming

pdf-format:


Abstract

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.

BibTeX - Entry

@InProceedings{wanko:OASIcs:2016:6749,
  author =	{Philipp Wanko},
  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 =	{OpenAccess Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-007-1},
  ISSN =	{2190-6807},
  year =	{2016},
  volume =	{52},
  editor =	{Manuel Carro and Andy King and Neda Saeedloei and Marina De Vos},
  publisher =	{Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{http://drops.dagstuhl.de/opus/volltexte/2016/6749},
  URN =		{urn:nbn:de:0030-drops-67496},
  doi =		{10.4230/OASIcs.ICLP.2016.23},
  annote =	{Keywords: Answer Set Programming, System Synthesis, Multi-Objective Optimization}
}

Keywords: Answer Set Programming, System Synthesis, Multi-Objective Optimization
Seminar: Technical Communications of the 32nd International Conference on Logic Programming (ICLP 2016)
Issue date: 2016
Date of publication: 2016


DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI