scientific article; zbMATH DE number 1337859

MaRDI QIDQ4264199zbMATHFDO

Authors Claude Kirchner, Christophe Ringeissen

Publication date 16 September 1999

zbMATH Keywords

constraint programmingconstraint solvingELAN language

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19)

Recommendations

• scientific article; zbMATH DE number 1337860
• Constraint programming viewed as rule-based programming
• Constraint solving with constraint handling rules
• Handling relations over finite domains in the rule-based system ELAN
• scientific article; zbMATH DE number 1337861

Cited in

(16)

• scientific article; zbMATH DE number 1630124 (Why is no real title available?)
• Handling relations over finite domains in the rule-based system ELAN
• Constructing Rule-Based Solvers for Intentionally-Defined Constraints
• From Rules to Constraint Programs with the Rules2CP Modelling Language
• Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
• scientific article; zbMATH DE number 2085271 (Why is no real title available?)
• Constraint Handling Rules
• Constraint programming viewed as rule-based programming
• Monadic constraint programming
• Containment in Rule-Based Models
• The use of a strategy language for solving search problems
• scientific article; zbMATH DE number 2086586 (Why is no real title available?)
• An Abstract Interpretation Based Combinator for Modelling While Loops in Constraint Programming
• Cadmium: An Implementation of ACD Term Rewriting
• ELAN from a rewriting logic point of view
• Rewriting logic: Roadmap and bibliography

Describes a project that uses

Uses Software

• ELAN

This page was built for publication:

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