Model Expansion in the Presence of Function Symbols Using Constraint Programming - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Broes de Cat, Bart Bogaerts, Jo Devriendt, Marc Denecker. Model Expansion in the Presence of Function Symbols Using Constraint Programming. In 2013 IEEE 25th International Conference on Tools with Artificial Intelligence, Herndon, VA, USA, November 4-6, 2013. pages 1068-1075, IEEE, 2013. [doi]

This author has not been identified. Look up 'Broes de Cat' in GoogleThis author has not been identified. Look up 'Bart Bogaerts' in GoogleThis author has not been identified. Look up 'Jo Devriendt' in GoogleThis author has not been identified. Look up 'Marc Denecker' in Google

runs on WebDSL