Improving Linear Constraint Propagation by Changing Constraint Representation
暂无分享,去创建一个
[1] Nicolas Beldiceanu,et al. Overview of the CHIP Compiler System , 1993, WCLP.
[2] Jonathan S. Ostroff,et al. Temporal logic for real-time systems , 1989 .
[3] Patrick Cousot,et al. Automatic synthesis of optimal invariant assertions: Mathematical foundations , 1977 .
[4] Ho-fung Leung,et al. Extending GENET for non-binary CSP's , 1995, Proceedings of 7th IEEE International Conference on Tools with Artificial Intelligence.
[5] Philippe Codognet,et al. Compiling Constraints in clp(FD) , 1996, J. Log. Program..
[6] William J. Cook,et al. A Computational Study of the Job-Shop Scheduling Problem , 1991, INFORMS Journal on Computing.
[7] Pascal Van Hentenryck. Constraint satisfaction in logic programming , 1989, Logic programming.
[8] Monica S. Lam,et al. The design, implementation, and evaluation of Jade , 1998, TOPL.
[9] Jean-francois Puget,et al. A C++ implementation of CLP , 1997 .
[10] Roland H. C. Yap,et al. The CLP( R ) language and system , 1992, TOPL.
[11] Philippe Codognet,et al. A Minimal Extension of the WAM for clp(FD) , 1993, ICLP.
[12] Pascal Van Hentenryck,et al. Design, Implementation, and Evaluation of the Constraint Language cc(FD) , 1994, Constraint Programming.