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

DOI10.1017/S1471068401001363zbMATH Open1105.68339MaRDI QIDQ4452624FDOQ4452624

Authors Yves Caseau, François-Xavier Josset, François Laburthe 

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)

Recommendations

• Set constraints and logic programming
• scientific article; zbMATH DE number 7552282
• Constraint satisfaction using constraint logic programming
• Multi-paradigm Declarative Languages
• Integration of declarative and constraint programming

Cited In (8)

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

Uses Software

• SALSA
• Oz

This page was built for publication: CLAIRE: combining sets, search and rules to better express algorithms

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4452624)