4 citations · 4 across the 2 of their papers we have counts for
2 papers
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…
cs.PL2004
Checking modes of HAL programs
Maria Garcia de la Banda, Warwick Harvey, Kim Marriott +2
Recent constraint logic programming (CLP) languages, such as HAL and Mercury, require type, mode and determinism declarations for predicates. This information allows the generation…