An Open-Ended Finite Domain Constraint Solver

DMCA

An Open-Ended Finite Domain Constraint Solver (1997)

Cached

Download Links

[ftp.sics.se]

Other Repositories/Bibliography

DBLP

by Mats Carlsson , Greger Ottosson , Björn Carlson

Citations:

194 - 8 self

Citations

377	A filtering algorithm for constraints of difference in csps - Régin - 1994
314	The Oz Programming Model. - Smolka - 1995
270	The constraint logic programming language CHIP - Dincbas, Hentenryck, et al. - 1988
240	Arc and path consistency revisited - Mohr, Henderson - 1986
197	Concurrent Constraint Programming Languages - Saraswat - 1989
187	Design, implementation and evaluation of the constraint language cc(FD). - HENTENRYCK, SARASWAT, et al. - 1998
134	Extending CHIP in order to solve complex scheduling and placement problems. - Aggoun, Beldiceanu - 1993
121	Model Building in Mathematical Programming, - Williams - 1999
107	Introducing global constraints in CHIP - Beldiceanu, Contejean - 1994
98	Improved CLP scheduling with task intervals. - Caseau, Laburthe - 1994
78	The Cardinality Operator: A new Logical Connective for Constraint Logic Programming. - Hentenryck, Deville - 1991
73	A minimal extension of the WAM for clp(FD). - Diaz, Codognet - 1993
72	Constraint Arithmetic on Real Intervals - Older, Vellino - 1993
70	Constraint processing in cc(fd - Hentenryck, Saraswat, et al. - 1992
66	A theoretical and experimental comparison of constraint propagation techniques for disjunctive scheduling. - Baptiste, Pape - 1995
50	Beyond the glass box: Constraints as objects. In - Puget, Leconte - 1995
34	Specification of Constraint Based Inference Mechanism through Extended Unification. - Holzbaur - 1990
22	Diaz Entailment of Finite Domain Constraints - Carlsson, Carlsson, et al. - 1993
16	et al.: SICStus Prolog User’s Manual - Carlsson
9	Pecos C++ Reference Manual - ILOG - 1993
9	A Language for Optimizing Constraint Propagation - Sidebottom - 1993
6	The implementation of AKL(FD - Carlson, Carlsson, et al. - 1995
4	Compiling and executing disjunctions of finite domain constraints - Carlson, Carlsson - 1995
3	Enhancing the constraint-solving power of clp(FD) by means of path-consistency methods - Codognet, Nardiello - 1995
2	et.al. "ECLiPSe User Manual - Meier - 1993
2	B-Prolog User’s Manual (Version 2.1 - Zhou - 1997
1	manuel de Prolog IV. Reference manual, PrologIA - Le - 1997
1	The Psychology of Computer Vision - Waltz - 1975