An algorithm for goal-driven simulation
Proceedings of the 31st conference on Winter simulation: Simulation---a bridge to the future - Volume 1
ACM SIGSOFT Software Engineering Notes
Constraint-Based Facial Animation
Constraints
Box Consistency through Weak Box Consistency
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
Termination analysis of integer linear loops
CONCUR 2005 - Concurrency Theory
Numerica: a modeling language for global optimization
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Variable ranges in linear constraints
Proceedings of the 2010 ACM Symposium on Applied Computing
Symbolic model checking of hybrid systems using template polyhedra
TACAS'08/ETAPS'08 Proceedings of the Theory and practice of software, 14th international conference on Tools and algorithms for the construction and analysis of systems
Constraint propagation on quadratic constraints
Constraints
On complementary principles of object-oriented constraint programming
Programming and Computing Software
Engineering Applications of Artificial Intelligence
Constraint propagation as information maximization
Artificial Intelligence
Hi-index | 0.01 |