398 citations
- Dalle Molle Institute for Artificial Intelligence ResearchCH4 papers
- The University of MelbourneAU3 papers
- Australian National UniversityAU2 papers
- Chinese University of Hong KongHK2 papers
- UNSW SydneyAU2 papers
- Centrum Wiskunde & InformaticaNL1 paper
- École Polytechnique Fédérale de LausanneCH1 paper
- Graz University of TechnologyAT1 paper
- Institut national de recherche en sciences et technologies du numériqueFR1 paper
- Laboratoire d'Informatique de l'École PolytechniqueFR1 paper
- Laboratoire d’Informatique Fondamentale de MarseilleFR1 paper
- Leiden UniversityNL1 paper
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…