The following pages link to CLAIRE (Q15122):
Displaying 31 items.
- Cardinal: a finite sets constraint solver (Q879977) (← links)
- Local consistency for extended CSPs (Q1035707) (← links)
- Resource constraints for preemptive job-shop scheduling (Q1277297) (← links)
- An O\((n^4)\) algorithm for preemptive scheduling of a single machine to minimize the number of late jobs (Q1306357) (← links)
- Constraint-based scheduling: Applying constraint programming to scheduling problems. (Q1398125) (← links)
- On linear lower bounds for the resource constrained project scheduling problem. (Q1399576) (← links)
- Programming constraint services. High-level programming of standard and new constraint services (Q1600089) (← links)
- The use of a strategy language for solving search problems (Q1601858) (← links)
- Heuristics for large constrained vehicle routing problems (Q1854901) (← links)
- Heuristic control of a constraint-based algorithm for the preemptive job-shop scheduling problem (Q1854902) (← links)
- Localizer (Q1975204) (← links)
- Constraint propagation and decomposition techniques for highly disjunctive and highly cumulative project scheduling problems (Q1975206) (← links)
- Branching and pruning: An optimal temporal POCL planner based on constraint programming (Q2457640) (← links)
- A unified framework for partial and hybrid search methods in constraint programming (Q2489124) (← links)
- On-line resources allocation for ATM networks with rerouting (Q2489130) (← links)
- (Q2703698) (← links)
- (Q2740996) (← links)
- Combining local and global search in a constraint programming environment (Q2775777) (← links)
- Combining constraint Propagation and meta-heuristics for searching a Maximum Weight Hamiltonian Chain (Q3411293) (← links)
- (Q4264201) (← links)
- (Q4413058) (← links)
- Branch and Infer: A Unifying Framework for Integer and Finite Domain Constraint Programming (Q4427349) (← links)
- (Q4446266) (← links)
- Constraint programming viewed as rule-based programming (Q4452648) (← links)
- (Q4475636) (← links)
- (Q4475682) (← links)
- (Q4499261) (← links)
- Logic programming in the context of multiparadigm programming: the Oz experience (Q4819002) (← links)
- CLAIRE: A Distributed-Memory Solver for Constrained Large Deformation Diffeomorphic Image Registration (Q5241263) (← links)
- Integration of Rules and Optimization in Plant PowerOps (Q5450917) (← links)
- Airspace sectorization with constraints (Q5479855) (← links)