Author:
Harvey Warwick,Stuckey Peter J.
Publisher
Springer Berlin Heidelberg
Reference9 articles.
1. Philippe Codognet and Daniel Diaz. Compiling constraints in clp(FD). The Journal of Logic Programming, 27(3):185–226, 1996.
2. P. Cousot and R. Cousot. Automatic synthesis of optimal invariant assertions: Mathematical foundations. In ACM Symposium on Artificial Intelligence and Programming Languages, 1977.
3. Daniel Diaz and Phillipe Codognet. A minimal extension of the WAM for clp(FD). In David S. Warren, editor, Proceedings of the 10th International Conference on Logic Programming, pages 774–790. MIT Press, 1993.
4. Warwick Harvey and Peter J. Stuckey. Constraint representation for propagation. Computer Science Technical Report 98/10, The University of Melbourne, 1998. Available at http://www.cs.mu.oz.au/~pjs/papers/papers.html.
5. Joxan Jaffar, Spiro Michaylov, Peter Stuckey, and Roland Yap. The CLP(R) language and system. ACM Transactions on Programming Languages and Systems, 14(3):339–395, July 1992.
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Conflict-Driven Heuristics for Mixed Integer Programming;INFORMS Journal on Computing;2020-10-08
2. Local consistency for extended CSPs;Theoretical Computer Science;2009-11
3. Predicate Abstraction of Programs with Non-linear Computation;Automated Technology for Verification and Analysis;2006
4. Speeding Up Constraint Propagation;Principles and Practice of Constraint Programming – CP 2004;2004
5. A Synthesis of Constraint Satisfaction and Constraint Solving;Principles and Practice of Constraint Programming – CP 2003;2003