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)

• SCIL
• SOFT
• WSAT(OIP)
• A microkernel architecture for constraint programming
• Choco
• JaCoP
• CaSPER
• CPGraph
• An algorithm-independent measure of progress for linear constraint propagation
• MINION
• MiniCP: a lightweight solver for constraint programming
• Propagation via lazy clause generation
• Widening and narrowing operators for abstract interpretation
• View-based propagator derivation
• Theoretical analysis of singleton arc consistency and its extensions
• The complexity of reasoning with global constraints
• SIMPL
• Timed concurrent constraint programming for analysing biological systems
• CFLP
• Newton
• Bounds of graph parameters for global constraints
• CBack
• Constraint propagation as information maximization
• FaCiLe
• Mistral
• scientific article; zbMATH DE number 1497825 (Why is no real title available?)
• Domain consistency with forbidden values
• Inequality-sum: a global constraint capturing the objective function
• Simpathica
• Itemset mining: a constraint programming perspective
• Filtering algorithms for the multiset ordering constraint
• A new generic scheme for functional logic programming with constraints

This page was built for software: cc(FD)