Enhancing symbolic system synthesis through ASPmT with partial assignment evaluation

The design of embedded systems is becoming continuously more complex such that efficient system-level design methods are becoming crucial. Recently, combined Answer Set Programming (ASP) and Quantifier Free Integer Difference Logic (QF-IDL) solving has been shown to be a promising approach in system...

Full description

Bibliographic Details

Published in:	Proceedings - Design, Automation, and Test in Europe Conference and Exhibition pp. 306 - 309
Main Authors:	Neubauer, Kai, Wanko, Philipp, Schaub, Torsten, Haubelt, Christian
Format:	Conference Proceeding
Language:	English
Published:	EDAA 01.03.2017
Subjects:	Delays Embedded systems Encoding Indexes Routing Schedules
ISSN:	1558-1101
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!