Consistency and Set Intersection

The study of local and global consistency is an important topic in Constraint Networks. In this paper, we give some results on finite set intersections and relate k-consistency to set intersection. We present a proof schema which lifts the results on set intersection to results at a particular level of consistency (including global consistency). This gives a new framework to study consistency in terms of general properties of set intersection. Some well known results on row convex constraints, tightness and looseness can then be derived directly and proved using our proof schema.

Authors

• Yuanlin Zhang and Roland H. C. Yap National University of Singapore

Keywords

No keywords are indexed for this paper.