Solving functional constraints by variable substitution

DOI10.1017/S1471068410000591zbMath1220.68041OpenAlexW2172664928MaRDI QIDQ3008409

Roland H. C. Yap, Yuan Lin Zhang

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

constraint satisfaction problemconstraint logic programmingfunctional constraintsarc consistencyvariable substitution

Mathematics Subject Classification ID

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

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