scientific article; zbMATH DE number 1337860

MaRDI QIDQ4264200zbMATH OpenFDO

Authors C. Castro

Publication date 16 September 1999

zbMATH Keywords

automated deductionconstraint satisfaction problemconstraint solving

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42)

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

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

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