Efficient Algorithms for Functional Constraints
From MaRDI portal
Publication:5504684
DOI10.1007/978-3-540-89982-2_50zbMath1185.68659MaRDI QIDQ5504684
Roland H. C. Yap, Yuan Lin Zhang, Satyanarayana Marisetti, Chendong Li
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
68T20: Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.)
Cites Work
- Unnamed Item
- A generic arc-consistency algorithm and its specializations
- Forward reasoning and dependency-directed backtracking in a system for computer-aided circuit analysis
- Fast parallel constraint satisfaction
- Bucket elimination: A unifying framework for reasoning
- An optimal coarse-grained arc consistency algorithm