200 citations · 450 across the 51 of their papers we have counts for
1 paper · 2 filters
Chiu Wo Choi, Jimmy Ho-Man Lee, Peter J. Stuckey
A widely adopted approach to solving constraint satisfaction problems combines systematic tree search with various degrees of constraint propagation for pruning the search space. O…