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

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

Published:1995 Issue: Volume: Page:293-316
ISSN:0302-9743
Container-title:Lecture Notes in Computer Science
language:
Short-container-title:

Author:

Hentenryck Pascal,Saraswat Vijay,Deville Yves

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-59155-9_15.pdf

Reference37 articles.

1. A. Aggoun and N. Beldiceanu. Extending CHIP To Solve Complex Scheduling and Packing Problems. In Journées Francophones De Programmation Logique, Lille, France, 1992.

2. M. Bartusch. Optimierung von Netzplaenen mit Anordnungsbeziehungen bei Knappen Betriebsmitteln. PhD thesis, Fakultaet fuer Mathematik und Informatik, Universitaet Passau (F.R.G), 1983.

3. W. Buttner and H. Simonis. Embedding Boolean Expressions into Logic Programming. Journal of Symbolic Computation, 4:191–205, October 1987.

4. J. Carlier. Ordonnancement á Constraintes Disjonctives. RAIRO Operations Research, 12(4):333–351, November 1978.

5. J. Carlier and E. Pinson. Une Méthode Arborescente pour Optimiser la Durée d'un JOB-SHOP. Technical Report ISSN 0294–2755, I.M.A, Angers, 1986.

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

1. Fifty Years of Prolog and Beyond;Theory and Practice of Logic Programming;2022-05-17

2. Compiling Conditional Constraints;Lecture Notes in Computer Science;2019

3. A microkernel architecture for constraint programming;Constraints;2016-03-18

4. A Real-Time Concurrent Constraint Calculus for Analyzing Avionic Systems Embedded in the IMA Connected Through TTEthernet;Theoretical Information Reuse and Integration;2016

5. Efficient Architecture-Level Configuration of Large-Scale Embedded Software Systems;Fundamentals of Software Engineering;2015