scientific article; zbMATH DE number 1420801

zbMATH Open0949.68019MaRDI QIDQ4944865FDOQ4944865

Authors: Philippe Refalo 

Publication date: 22 March 2000

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

Recommendations

• An algorithm for linear constraint solving: its incorporation in a prolog meta-interpreter for CLP
• Experiments in reactive constraint logic programming1This paper is the complete version of a previous paper published in [14].1
• scientific article; zbMATH DE number 512883
• scientific article; zbMATH DE number 1140682
• Meta-programming in CLP(R)

zbMATH Keywords

constraint logic programmingAthena

Mathematics Subject Classification ID

Logic programming (68N17)

Cited In (2)

• Asking the Metaquestions in Constraint Tractability
• Incremental Linear Constraint Solving and Detection of Implicit Equalities

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