output
20042008
most citedA Collection of Definitions of Intelligence

398 citations

researchers with a paper here
collaborating institutions
Showing 2004 · cs.LOShow all

1 paper · 2 filters

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…