Design, implementation, and evaluation of the constraint language cc(FD)
From MaRDI portal
Recommendations
Cited in
(40)- Constraint satisfaction using constraint logic programming
- Truly concurrent constraint programming
- A microkernel architecture for constraint programming
- Linear concurrent constraint programming: Operational and phase semantics
- An algorithm-independent measure of progress for linear constraint propagation
- MiniCP: a lightweight solver for constraint programming
- Propagation via lazy clause generation
- View-based propagator derivation
- Models and emerging trends of concurrent constraint programming
- View-based propagation of decomposable constraints
- Theoretical analysis of singleton arc consistency and its extensions
- The complexity of reasoning with global constraints
- Timed concurrent constraint programming for analysing biological systems
- Compiling constraints in clp(FD)
- On the cooperation of the constraint domains ℋ, ℛ, and ℱ in CFLP
- cc(FD)
- Propagation = Lazy Clause Generation
- Constructive Interval Disjunction
- Bounds of graph parameters for global constraints
- Constraint propagation as information maximization
- scientific article; zbMATH DE number 1497825 (Why is no real title available?)
- Introduction to the constraint language NCL
- Abstract interpretation of temporal concurrent constraint programs
- Domain consistency with forbidden values
- A foundation for higher-order concurrent constraint programming
- Path consistency in clp(FD)
- Constraint functional logic programming over finite domains
- Inequality-sum: a global constraint capturing the objective function
- Transforming semantics by abstract interpretation
- Blackboard relations in the \(\mu\text{Log}\) coordination model
- Nicolog: A simple yet powerful \(\text{cc(FD)}\) language
- Fifty Years of Prolog and Beyond
- Comparing three coordination models: Reo, ARC, and PBRD
- Implementing logical connectives in constraint programming
- Itemset mining: a constraint programming perspective
- Logic programming
- Singleton node consistency for quadratic assignment problems in cost function networks
- Filtering algorithms for the multiset ordering constraint
- A new generic scheme for functional logic programming with constraints
- Subexponential concurrent constraint programming
This page was built for publication: Design, implementation, and evaluation of the constraint language cc(FD)
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4245937)
