Interval constraint solving for camera control and motion planning
ACM Transactions on Computational Logic (TOCL)
Efficient solving of quantified inequality constraints over the real numbers
ACM Transactions on Computational Logic (TOCL)
An efficient algorithm for a sharp approximation of universally quantified inequalities
Proceedings of the 2008 ACM symposium on Applied computing
Search heuristics for constraint-aided embodiment design
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Artificial Intelligence
Constraint Reasoning for Differential Models
Proceedings of the 2005 conference on Constraint Reasoning for Differential Models
Generalized interval projection: a new technique for consistent domain extension
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
A box-consistency contractor based on extremal functions
CP'10 Proceedings of the 16th international conference on Principles and practice of constraint programming
COCOS'03 Proceedings of the Second international conference on Global Optimization and Constraint Satisfaction
Hi-index | 0.00 |