Pages that link to "Item:Q4452624"
From MaRDI portal
The following pages link to CLAIRE: combining sets, search and rules to better express algorithms (Q4452624):
Displayed 8 items.
- CLAIRE (Q15122) (← links)
- Cardinal: a finite sets constraint solver (Q879977) (← links)
- Local consistency for extended CSPs (Q1035707) (← 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)
- Combining constraint Propagation and meta-heuristics for searching a Maximum Weight Hamiltonian Chain (Q3411293) (← links)
- Multivalued action languages with constraints in CLP(FD) (Q3550913) (← links)
- Airspace sectorization with constraints (Q5479855) (← links)