scientific article; zbMATH DE number 970738

MaRDI QIDQ5688929zbMATH OpenFDO

Authors

Publication date 19 March 1997

zbMATH Keywords

CLP schemesearch problems

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Generalized constraint propagation over the CLP scheme
• Compiling constraints in clp(FD)
• scientific article; zbMATH DE number 2080331
• Constraint satisfaction using constraint logic programming

Cited in

(8)

• Auto-tabling for subproblem presolving in MiniZinc
• Propagation via lazy clause generation
• Propagation engine prototyping with a domain specific language
• scientific article; zbMATH DE number 1696813 (Why is no real title available?)
• Solution strategies for multi-domain constraint logic programs
• An efficient algorithm of logic programming with constraint hierarchy
• Generalized constraint propagation over the CLP scheme
• Reformulation of global constraints based on constraints checkers

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