Model Induction: A New Source of CSP Model Redundancy

  title={Model Induction: A New Source of CSP Model Redundancy},
  author={Yat Chiu Law and Jimmy Ho-Man Lee},
Based on the notions of viewpoints, models, and channeling constraints, the paper introduces model induction, a systematic transformation of constraints in an existing model to constraints in another viewpoint. Meant to be a general CSP model operator, model induction is useful in generating redundant models, which can be further induced or combined with the original model or other mutually redundant models. We propose three ways of combining redundant models using model induction, model… CONTINUE READING
Highly Cited
This paper has 24 citations. REVIEW CITATIONS

From This Paper

Figures and tables from this paper.
17 Citations
3 References
Similar Papers


Publications referenced by this paper.
Showing 1-3 of 3 references

Dual models in permutation problems

  • B. M. Smith
  • Proceedings of Principles and Practice of…
  • 2001
Highly Influential
10 Excerpts

Similar Papers

Loading similar papers…