Analytic constraint solving and interval arithmetic
Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Optimal Pruning in Parametric Differential Equations
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Constraint Reasoning for Differential Models
Proceedings of the 2005 conference on Constraint Reasoning for Differential Models
A constraint satisfaction approach to parametric differential equations
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Including ordinary differential equations based constraints in the standard CP framework
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
| Hi-index | 0.00 |