A Certified Constraint Solver over Finite Domains - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb. A Certified Constraint Solver over Finite Domains. In Dimitra Giannakopoulou, Dominique Méry, editors, FM 2012: Formal Methods - 18th International Symposium, Paris, France, August 27-31, 2012. Proceedings. Volume 7436 of Lecture Notes in Computer Science, pages 116-131, Springer, 2012. [doi]

This author has not been identified. Look up 'Matthieu Carlier' in GoogleThis author has not been identified. Look up 'Catherine Dubois' in GoogleThis author has not been identified. Look up 'Arnaud Gotlieb' in Google

runs on WebDSL