CLAIRE: combining sets, search and rules to better express algorithms

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)

zbMATH Keywords

object oriented language

Mathematics Subject Classification ID

Searching and sorting (68P10) Nonnumerical algorithms (68W05) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Related Items

Cardinal: a finite sets constraint solver, Branching and pruning: An optimal temporal POCL planner based on constraint programming, Multivalued action languages with constraints in CLP(FD), A unified framework for partial and hybrid search methods in constraint programming, CLAIRE, Airspace sectorization with constraints, Local consistency for extended CSPs, Combining constraint Propagation and meta-heuristics for searching a Maximum Weight Hamiltonian Chain

Uses Software

• SALSA
• Oz