4 citations
1 paper · 1 filter
Chiu Wo Choi, Warwick Harvey, Jimmy Ho-Man Lee +1
A widely adopted approach to solving constraint satisfaction problems combines systematic tree search with constraint propagation for pruning the search space. Constraint propagati…