CLAIRE: combining sets, search and rules to better express algorithms
From MaRDI portal
Publication:4452624
DOI10.1017/S1471068401001363zbMath1105.68339MaRDI QIDQ4452624
François Laburthe, François-Xavier Josset, Yves Caseau
Publication date: 1 March 2004
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
68P10: Searching and sorting
68W05: Nonnumerical algorithms
68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)
Related Items
Airspace sectorization with constraints, CLAIRE, Cardinal: a finite sets constraint solver, Local consistency for extended CSPs, Branching and pruning: An optimal temporal POCL planner based on constraint programming, A unified framework for partial and hybrid search methods in constraint programming, Combining constraint Propagation and meta-heuristics for searching a Maximum Weight Hamiltonian Chain, Multivalued action languages with constraints in CLP(FD)
Uses Software