Improving coordinated SMT-based system synthesis by utilizing domain-specific heuristics

DOI10.1007/978-3-319-23264-5_6MaRDI QIDQ3449191zbMATH OpenOpenAlexFDO

Authors Benjamin Andres, Alexander Biewer, Javier Romero, Christian Haubelt, Torsten Schaub

Publication date 4 November 2015

Published in Logic Programming and Nonmonotonic Reasoning (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-23264-5_6

Mathematics Subject Classification ID

Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• SOS: Synthesis of application-specific heterogeneous multiprocessor systems
• Symbolic system synthesis using answer set programming
• The concept of maximal unschedulable deadline assignment for optimization in fixed-priority scheduled real-time systems
• scientific article; zbMATH DE number 1497853
• scientific article; zbMATH DE number 2088657

Cited in

(3)

• SOS: Synthesis of application-specific heterogeneous multiprocessor systems
• Deep learning for the generation of heuristics in answer set programming: a case study of graph coloring
• Symbolic system synthesis using answer set programming

This page was built for publication: Improving coordinated SMT-based system synthesis by utilizing domain-specific heuristics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3449191)