Model Induction: A New Source of CSP Model Redundancy.

Yat Chiu Law Jimmy Ho-Man Lee Model Induction: A New Source of CSP Model Redundancy. 54- 2002 AAAI/IAAI db/conf/aaai/aaai2002.html#LawL02