cc(FD)

swMATH21237MaRDI QIDQ33048FDOQ33048

Author name not available (Why is that?)

Described by source

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

Cited In (17)

• Theoretical analysis of singleton arc consistency and its extensions
• View-based propagator derivation
• MiniCP: a lightweight solver for constraint programming
• An algorithm-independent measure of progress for linear constraint propagation
• Itemset mining: a constraint programming perspective
• Title not available (Why is that?)
• Widening and narrowing operators for abstract interpretation
• Timed concurrent constraint programming for analysing biological systems
• A new generic scheme for functional logic programming with constraints
• Bounds of graph parameters for global constraints
• The complexity of reasoning with global constraints
• Propagation via lazy clause generation
• Domain consistency with forbidden values
• Constraint propagation as information maximization
• Inequality-sum: a global constraint capturing the objective function
• Filtering algorithms for the multiset ordering constraint
• A microkernel architecture for constraint programming

This page was built for software: cc(FD)