Industrial Application of External Black-Box Functions in Constraint Programming Solver
We examine the problem of interaction between the interval constraint programming solver and external computation algorithms that are considered by the solver as Black Boxes. Some techniques are used in order to resolve a contradiction between the intervals values of the constraint solver and exact values of Black Boxes. The proposed approach was developed and implemented in CATIA CAD/CAM system.
Unable to display preview. Download preview PDF.
- 1.Mackworth, A.: Consistency in Networks of Relations, Artificial Intelligence, vol. 8, pp. 99–118 (1977)Google Scholar
- 2.Narin’yani, A.S.: Sub-definiteness and Basic Means of knowledge representation. Computers and Artificial Intelligence. — Bratislava, — N5 (1983)Google Scholar
- 4.Granvillers, L., Monfroy, E., Benhamou, F.: Symbolic-interval cooperation in constraint programming. In: Procs. of ISSAC 2001, ACM Press, New York (2001); Constraint Programming and Artificial Intelligence:Google Scholar
- 7.Gurin, L.S., Dymarsky, Y.S., Merkulov, A.D.: Problems and methods of optimal allocation of resources. — Moscow: Sov. radio, p. 463 (1968) (in Russian)Google Scholar