(Enter summary)
Abstract: We propose a new framework to study properties
of consistency in a Constraint Network from the
perspective of properties of set intersection. Our
framework comes with a proof schema which gives
a generic way of lifting a set intersection property
to one on consistency. Various well known results
can be derived with this framework. More importantly,
we use the framework to obtain a number
of new results. We identify a new class of tree
convex constraints where local consistency ensures
... (Update)
Cited by: More
Tractable Tree Convex Constraint Networks - Yuanlin Zhang And
(Correct)
On Tightness of Constraints - Yuanlin Zhang Cork
(Correct)
Active bibliography (related documents): More All
0.1: Consistency Techniques in Constraint Networks - Yuanlin (2003)
(Correct)
0.1: Interactive Aspects of Constraint-Based Assembly Modeling - Seybold, Ogan, Metzger.. (1997)
(Correct)
0.1: Yet Another Object-Oriented Constraint Resolution System: An Open .. - Kökény (1994)
(Correct)
Similar documents based on text: More All
0.4: Incrementally Solving Functional Constraints - Zhang, Yap
(Correct)
0.3: Making AC-3 an Optimal Algorithm - Yuanlin Zhang And (2001)
(Correct)
0.2: Arc Consistency on n-ary Monotonic and Linear Constraints - Yuanlin, Yap
(Correct)
Related documents from co-citation: More All
2: Networks of constraints: Fundamental properties and applications to picture proc.. (context) - Montanari - 1974
2: Network-based heuristics for constraint-satisfaction problems (context) - Dechter, Pearl - 1988
2: Consistency in networks of relations (context) - Mackworth - 1977
BibTeX entry: (Update)
Yuanlin Zhang and Roland H. C. Yap. Consistency and set intersection. In Proceedings of IJCAI-03, pages 263--268, Acapulco, Mexico, 2003. IJCAI Inc. http://citeseer.ist.psu.edu/article/zhang03consistency.html More
@misc{ zhang03consistency,
author = "Y. Zhang and R. Yap",
title = "Consistency and set intersection",
text = "Yuanlin Zhang and Roland H. C. Yap. Consistency and set intersection. In
Proceedings of IJCAI-03, pages 263--268, Acapulco, Mexico, 2003. IJCAI Inc.",
year = "2003",
url = "citeseer.ist.psu.edu/article/zhang03consistency.html" }
Citations (may not include all citations):
307
Networks of constraints: Fundamental properties and applicat.. (context) - Montanari - 1974
185
A sufficient condition for backtrack-free search (context) - Freuder - 1982
80
From local to global consistency
- Dechter - 1992
13
the minimality and global consistency of row-convex constrai..
- van Beek, Dechter - 1995
11
Constraint tightness and looseness versus local and global c.. (context) - van Beek, Dechter - 1997
6
When functional and bijective constraints make a csp polynom.. (context) - David - 1993
1
Solving non-binary convex csps in continous domains (context) - Sam-Haroud, Faltings - 1996
1
Dechter's theorem on constraint looseness and local consiste.. (context) - Zhang, Yap et al. - 2003
Documents on the same site (http://www.cs.ttu.edu/~yzhang/publications/fullList.html): More
Conditional Interchangeability and Substitutability - Yuanlin Zhang And
(Correct)
Consistency Techniques in Constraint Networks - Yuanlin (2003)
(Correct)
On Tightness of Constraints - Yuanlin Zhang Cork
(Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC