Author:
Soto Ricardo,Granvilliers Laurent
Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. Gecode System, http://www.gecode.org
2. s-COMMA System, http://www.inf.ucv.cl/~rsoto/s-comma
3. Borning, A.H.: The Programming Languages Aspects of ThingLab, a Constraint-Oriented Simulation Laboratory. ACM TOPLAS 3(4), 353–387 (1981)
4. Diaz, D., Codognet, P.: The gnu prolog system and its implementation. In: SAC (2), pp. 728–732 (2000)
5. Frisch, A.M., et al.: The design of essence: A constraint language for specifying combinatorial problems. In: IJCAI, pp. 80–87 (2007)