cc(FD)

swMATH21237MaRDI QIDQ33048

No author found.

Described by source

• Design, implementation, and evaluation of the constraint language cc(FD)

Related Items (17)

Filtering algorithms for the multiset ordering constraint ⋮ Theoretical analysis of singleton arc consistency and its extensions ⋮ Constraint propagation as information maximization ⋮ A new generic scheme for functional logic programming with constraints ⋮ A microkernel architecture for constraint programming ⋮ 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 ⋮ Propagation via lazy clause generation ⋮ Widening and narrowing operators for abstract interpretation ⋮ Inequality-sum: a global constraint capturing the objective function ⋮ View-based propagator derivation ⋮ Timed Concurrent Constraint Programming for Analysing Biological Systems ⋮ An algorithm-independent measure of progress for linear constraint propagation

This page was built for software: cc(FD)