A novel model for system-level decision making with combined ASP and SMT solving - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Alexander Biewer, Jens Gladigau, Christian Haubelt. A novel model for system-level decision making with combined ASP and SMT solving. In Design, Automation & Test in Europe Conference & Exhibition, DATE 2014, Dresden, Germany, March 24-28, 2014. pages 1-4, IEEE, 2014. [doi]

The following publications are possibly variants of this publication:

Towards Tight Interaction of ASP and SMT Solving for System-Level Decision MakingAlexander Biewer, Jens Gladigau, Christian Haubelt. arcs 2014: 1-7 [doi]

runs on WebDSL