Efficient Algorithms for Functional Constraints

DOI10.1007/978-3-540-89982-2_50MaRDI QIDQ5504684zbMATH OpenOpenAlexFDO

Authors Yuanlin Zhang, Roland H. C. Yap, Chendong Li, Satyanarayana Marisetti

Publication date 22 January 2009

Published in Logic Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-89982-2_50

Mathematics Subject Classification ID

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

Recommendations

• Solving functional constraints by variable substitution
• scientific article; zbMATH DE number 2032420
• scientific article; zbMATH DE number 1149412
• scientific article; zbMATH DE number 67482
• Constraint programming and graph algorithms.

Cites work

• A generic arc-consistency algorithm and its specializations
• An optimal coarse-grained arc consistency algorithm
• Bucket elimination: A unifying framework for reasoning
• Fast parallel constraint satisfaction
• Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
• scientific article; zbMATH DE number 1149412 (Why is no real title available?)

Cited in

(5)

• Solving functional constraints by variable substitution
• Efficient algorithms to decide tightness
• scientific article; zbMATH DE number 1149412 (Why is no real title available?)
• scientific article; zbMATH DE number 2032420 (Why is no real title available?)
• Exploiting functional constraints in automatic dominance breaking for constraint optimization

This page was built for publication: Efficient Algorithms for Functional Constraints

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