Author:
Michel L.,Schaus P.,Van Hentenryck P.
Publisher
Springer Science and Business Media LLC
Subject
Software,Theoretical Computer Science
Reference37 articles.
1. Colmerauer, A.: An introduction to Prolog III. Commun. ACM 28(4), 412–418 (1990)
2. Jaffar, J., Lassez, J.L.: Constraint logic programming. In: POPL-87, Munich, Germany (1987)
3. Van Hentenryck, P.: Constraint Satisfaction in Logic Programming. The MIT Press, Cambridge (1989)
4. Laborie, P., Rogerie, J., Shaw, P., Vilím, P.: IBM ILOG CP optimizer for scheduling. Constraints, pp. 1–41 (2018)
5. Van Hentenryck, P., Saraswat, V., Deville, Y.: Design, implementation, and evaluation of the constraint language cc (FD). J. Log. Program. 37(1), 139–164 (1998)
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Proof Logging for the Circuit Constraint;Lecture Notes in Computer Science;2024
2. Constraint propagation on GPU: A case study for the AllDifferent constraint;Journal of Logic and Computation;2023-06-06
3. Constraint Propagation on GPU: A Case Study for the Cumulative Constraint;Integration of Constraint Programming, Artificial Intelligence, and Operations Research;2023
4. Exploiting Entropy in Constraint Programming;Integration of Constraint Programming, Artificial Intelligence, and Operations Research;2023
5. Optimization Bounds from Decision Diagrams in Haddock;Integration of Constraint Programming, Artificial Intelligence, and Operations Research;2023