A Minimal Extension of the WAM for clp(FD)
暂无分享,去创建一个
[1] Joxan Jaffar,et al. Constraint logic programming , 1987, POPL '87.
[2] Dana S. Scott,et al. Concurrent constraint programming languages , 1989 .
[3] Alan K. Mackworth. Consistency in Networks of Relations , 1977, Artif. Intell..
[4] Pascal Van Hentenryck,et al. Solving Large Combinatorial Problems in Logic Programming , 1990, J. Log. Program..
[5] Alain Colmerauer,et al. An introduction to Prolog III , 1989, CACM.
[6] Hassan Aït-Kaci,et al. Warren's Abstract Machine: A Tutorial Reconstruction , 1991 .
[7] Roland H. C. Yap,et al. A methodology for managing hard constraints in CLP systems , 1991, PLDI '91.
[8] Philippe Codognet,et al. A Metalevel Compiler of CLP(FD) and Its Combination with Intelligent Backtracking , 1993, WCLP.
[9] Pascal Van Hentenryck. Constraint satisfaction in logic programming , 1989, Logic programming.
[10] Robert M. Haralick,et al. Increasing Tree Search Efficiency for Constraint Satisfaction Problems , 1979, Artif. Intell..
[11] Pascal Van Hentenryck,et al. Constraint processing in cc(fd) , 1992 .
[12] Roland H. C. Yap,et al. An abstract machine for CLP(R) , 1992, PLDI '92.
[13] Pascal Van Hentenryck,et al. Solving the Car-Sequencing Problem in Constraint Logic Programming , 1988, ECAI.
[14] Nicolas Beldiceanu,et al. Overview of the CHIP Compiler System , 1993, WCLP.
[15] Pascal Van Hentenryck,et al. A Generic Arc-Consistency Algorithm and its Specializations , 1992, Artif. Intell..