cc(FD)

MaRDI QIDQ33048swMATHFDO

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
• scientific article; zbMATH DE number 1497825 (Why is no real title available?)
• 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
• SCIL
• SOFT
• WSAT(OIP)
• Choco
• JaCoP
• CaSPER
• CPGraph
• MINION
• SIMPL
• CFLP
• Newton
• CBack
• FaCiLe
• Mistral
• Simpathica
• 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)