scientific article; zbMATH DE number 1337859

zbMATH Open0943.68094MaRDI QIDQ4264199FDOQ4264199

Authors: Claude Kirchner, Christophe Ringeissen 

Publication date: 16 September 1999

Title of this publication is not available (Why is that?)

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

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)

Cited In (16)

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

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)