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)

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

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)

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)