Design, implementation, and evaluation of the constraint language cc(FD)-Reference-Cited by-同舟云学术

Design, implementation, and evaluation of the constraint language cc(FD)

Published:1998-10 Issue:1-3 Volume:37 Page:139-164
ISSN:0743-1066
Container-title:The Journal of Logic Programming
language:en
Short-container-title:The Journal of Logic Programming

Author:

Van Hentenryck Pascal,Saraswat Vijay,Deville Yves

Publisher

Elsevier BV

Subject

Logic

Reference45 articles.

1. A. Aggoun, N. Beldiceanu, Extending CHIP to solve complex scheduling and packing problems, in: Journées Francophones De Programmation Logique, Lille, France, 1992

2. A computational study of the job shop scheduling problem;Applegate;ORSA J. Comput.,1991

3. M. Bartusch, Optimierung von Netzplaenen mit Anordnungsbeziehungen bei Knappen Betriebsmitteln, Ph.D. Thesis, Fakultaet fuer Mathematik und Informatik, Universitaet Passau, Germany (1983)

4. Embedding boolean expressions into logic programming;Buttner;J. Symbolic Comput.,1987

5. Ordonnancement à Constraintes Disjonctives;Carlier;RAIRO Oper. Res.,1978

Cited by 86 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An algorithm-independent measure of progress for linear constraint propagation;Constraints;2022-10-12

2. MiniCP: a lightweight solver for constraint programming;Mathematical Programming Computation;2021-02-05

3. A Practical Approach to Verification of Floating-Point C/C++ Programs with math.h/cmath Functions;ACM Transactions on Software Engineering and Methodology;2021-01-31

4. Dynamic Slicing for Concurrent Constraint Languages;Fundamenta Informaticae;2020-12-10

5. ITE: A Lightweight Implementation of Stratified Reasoning for Constructive Logical Operators;International Journal on Artificial Intelligence Tools;2020-06