Design, implementation, and evaluation of the constraint language cc(FD)
From MaRDI portal
Publication:4245937
DOI10.1016/S0743-1066(98)10006-7zbMath0920.68026MaRDI QIDQ4245937
Pascal Van Hentenryck, Yves Deville, Vijay Saraswat
Publication date: 31 May 1999
Published in: The Journal of Logic Programming (Search for Journal in Brave)
Related Items
Filtering algorithms for the multiset ordering constraint, On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP, Theoretical analysis of singleton arc consistency and its extensions, Constraint propagation as information maximization, Slicing concurrent constraint programs, A new generic scheme for functional logic programming with constraints, Comparing three coordination models: Reo, ARC, and PBRD, A foundation for higher-order concurrent constraint programming, Path consistency in clp(FD), Fifty Years of Prolog and Beyond, Abstract interpretation of temporal concurrent constraint programs, Implementing logical connectives in constraint programming, Subexponential concurrent constraint programming, A microkernel architecture for constraint programming, Propagation = Lazy Clause Generation, Constructive Interval Disjunction, Bounds of graph parameters for global constraints, Itemset mining: a constraint programming perspective, Unnamed Item, The complexity of reasoning with global constraints, Domain consistency with forbidden values, MiniCP: a lightweight solver for constraint programming, Blackboard relations in the \(\mu\text{Log}\) coordination model, Transforming semantics by abstract interpretation, Propagation via lazy clause generation, cc(FD), Inequality-sum: a global constraint capturing the objective function, Linear concurrent constraint programming: Operational and phase semantics, View-based propagator derivation, Timed Concurrent Constraint Programming for Analysing Biological Systems, Models and emerging trends of concurrent constraint programming, View-based propagation of decomposable constraints, Truly concurrent constraint programming, An algorithm-independent measure of progress for linear constraint propagation
Uses Software
