Comparing Trailing and Copying for Constraint Programming
暂无分享,去创建一个
[1] Hassan Aït-Kaci,et al. Warren's Abstract Machine: A Tutorial Reconstruction , 1991 .
[2] Pascal Van Hentenryck,et al. Design, Implementation, and Evaluation of the Constraint Language cc(FD) , 1994, Constraint Programming.
[3] Christian Schulte. Oz Explorer: A Visual Constraint Programming Tool , 1996, PLILP.
[4] Philippe Codognet,et al. Compiling Constraints in clp(FD) , 1996, J. Log. Program..
[5] Jörg Würtz,et al. Extending a Concurrent Constraint Language by Propagators , 1997, ILPS.
[6] Nicolas Beldiceanu,et al. Time Stamps Techniques for the Trailed Data in Constraint Logic Programming Systems , 1990, SPLT.
[7] David A. McAllester,et al. Screamer: A Portable Efficient Implementation of Nondeterministic Common LISP , 1993 .
[8] Michael J. Maher,et al. Constraint Logic Programming: A Survey , 1994, J. Log. Program..
[9] Nicolas Beldiceanu,et al. Overview of the CHIP Compiler System , 1993, WCLP.
[10] Christian Schulte,et al. Programming Constraint Inference Engines , 1997, CP.