Structural Constraint-Based Modeling and Reasoning with Basic Configuration Cells
CP '01 Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming
Basic Operators for Solving Constraints via Collaboration of Solvers
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
Solving Nonlinear Systems by Constraint Inversion and Interval Arithmetic
AISC '00 Revised Papers from the International Conference on Artificial Intelligence and Symbolic Computation
Artificial Intelligence for Engineering Design, Analysis and Manufacturing
Constraint Reasoning for Differential Models
Proceedings of the 2005 conference on Constraint Reasoning for Differential Models
An Open Automated Framework for Constraint Solver Extension: the SoleX Approach
Fundamenta Informaticae
Hi-index | 0.00 |