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

DOI10.1007/978-3-319-23264-5_6zbMATH Open1467.68158OpenAlexW2209258137MaRDI QIDQ3449191FDOQ3449191

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

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

Mathematics Subject Classification ID

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

Cited In (3)

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

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)