cc(FD)

swMATH21237MaRDI QIDQ33048FDOQ33048

Author name not available (Why is that?)

Official website: http://www.sciencedirect.com/science/article/pii/S0743106698100067

Described by source

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

Cited In (32)

• 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
• SCIL
• SOFT
• WSAT(OIP)
• Choco
• JaCoP
• CaSPER
• CPGraph
• MINION
• SIMPL
• CFLP
• Newton
• CBack
• FaCiLe
• Mistral
• The complexity of reasoning with global constraints
• Simpathica
• 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)