Global Hull Consistency with Local Search for Continuous Constraint Solving
EPIA '01 Proceedings of the10th Portuguese Conference on Artificial Intelligence on Progress in Artificial Intelligence, Knowledge Extraction, Multi-agent Systems, Logic Programming and Constraint Solving
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
Hi-index | 0.00 |