Solving functional constraints by variable substitution

DOI10.1017/S1471068410000591MaRDI QIDQ3008409zbMATH OpenOpenAlexFDO

Authors Yuanlin Zhang, Roland H. C. Yap

Publication date 15 June 2011

Published in Theory and Practice of Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s1471068410000591

zbMATH Keywords

arc consistencyconstraint logic programmingconstraint satisfaction problemfunctional constraintsvariable substitution

Mathematics Subject Classification ID

Logic programming (68N17) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20)

Recommendations

• Efficient Algorithms for Functional Constraints
• scientific article; zbMATH DE number 2032420
• scientific article; zbMATH DE number 1149412
• Automated Reasoning
• scientific article; zbMATH DE number 1322790

Cited in

(3)

• scientific article; zbMATH DE number 1149412 (Why is no real title available?)
• scientific article; zbMATH DE number 2032420 (Why is no real title available?)
• Efficient Algorithms for Functional Constraints

This page was built for publication: Solving functional constraints by variable substitution

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3008409)