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

DOI10.1017/S1471068401001363MaRDI QIDQ4452624zbMATH OpenFDO

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)

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

Describes a project that uses

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)