17 citations · 22 across the 5 of their papers we have counts for
Showing 2004Show all
2 papers · 1 filter
cs.LO2004
Removing Propagation Redundant Constraints in Redundant Modeling
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…
cs.AI2004★ 4 cited
Finite Domain Bounds Consistency Revisited
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…