Dynamic variable ordering in graph based backjumping algorithms for csps
From MaRDI portal
Publication:4511615
DOI10.1080/00207160008804975zbMath0972.68788MaRDI QIDQ4511615
No author found.
Publication date: 30 October 2000
Published in: International Journal of Computer Mathematics (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1080/00207160008804975
Cites Work
- Reduction operations for constraint satisfaction
- Network-based heuristics for constraint-satisfaction problems
- Tree clustering for constraint networks
- Networks of constraints: Fundamental properties and applications to picture processing
- A Sufficient Condition for Backtrack-Free Search
- Estimating the Efficiency of Backtrack Programs
- Backtrack programming techniques