scientific article; zbMATH DE number 1337860

zbMATH Open0943.68095MaRDI QIDQ4264200FDOQ4264200

Authors: C. Castro 

Publication date: 16 September 1999

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

Recommendations

• scientific article; zbMATH DE number 1337859
• scientific article; zbMATH DE number 1231545
• Constraint programming viewed as rule-based programming
• scientific article; zbMATH DE number 2080334
• scientific article; zbMATH DE number 1822298

zbMATH Keywords

automated deductionconstraint satisfaction problemconstraint solving

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

Cited In (6)

• Constructing Rule-Based Solvers for Intentionally-Defined Constraints
• Rewriting strategies and strategic rewrite programs
• SPREADSPACES: Mathematically-Intelligent Graphical Spreadsheets
• Automatic generation of rule-based constraint solvers over finite domains
• ELAN from a rewriting logic point of view
• Rewriting logic: Roadmap and bibliography

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 Q4264200)