Industrial application of external black-box functions in constraint programming solver

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2890, Issue , 2003, Pages 415-422

  Sidorov, Vladimir ^a   Telerman, Vitaly ^b  

^a LEDAS Ltd   (Russian Federation)

^b DASSAULT SYSTÈMES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER AIDED DESIGN; COMPUTER PROGRAMMING;

BLACK BOXES; BLACK-BOX FUNCTIONS; CAD/CAM SYSTEM; COMPUTATION ALGORITHM; CONSTRAINT PROGRAMMING; CONSTRAINT SOLVERS; INTERVAL CONSTRAINT;

CONSTRAINT THEORY;

EID: 35248812609     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: None     Document Type: Article

References (4)

1. Mackworth A. Consistency in Networks of Relations, Artificial Intelligence, vol.8, 1977, p. 99-118.
2. Narin'yani A. S. Sub-definiteness and Basic Means of knowledge representation. Computers and Artificial Intelligence. - Bratislava, 1983. - N5.
3. Marti P., Rueher M. A Distributed Cooperating Constraints Solving System. International Journal on Artificial Intelligence Tools 4, 1 and 2 (1995), 93-113.
4. Granvillers L., Monfroy E., Benhamou F. Symbolic-interval cooperation in constraint programming. In Procs. of ISSAC'2001 (2001), ACM Press. Constraint Programming and Artificial Intelligence: