Symbolic-interval cooperation in constraint programming
Proceedings of the 2001 international symposium on Symbolic and algebraic computation
Solving Nonlinear Equations by Abstraction, Gaussian Elimination, and Interval Methods
FroCoS '02 Proceedings of the 4th International Workshop on Frontiers of Combining Systems
Better Communication for Tighter Cooperation
CL '00 Proceedings of the First International Conference on Computational Logic
Automatic test generation for predicates
ISSRE '96 Proceedings of the The Seventh International Symposium on Software Reliability Engineering
Local consistency for extended CSPs
Theoretical Computer Science
Hi-index | 0.00 |