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

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]

This author has not been identified. Look up 'Alexander Biewer' in GoogleThis author has not been identified. Look up 'Jens Gladigau' in GoogleThis author has not been identified. Look up 'Christian Haubelt' in Google

runs on WebDSL