van Beek, P. and Dechter, R. 1997. Constraint Tightness and Looseness versus Local and Global Consistency. J. ACM 44(4): 549--566. Home/Search Document Not in Database Summary ACM TOC Related Articles Check |
This paper is cited in the following contexts:
Local Consistencies in SAT - Bessière, Hebrard, Walsh (Correct)
....to the constraint s tightness, i.e, using the direct encoding when the constraint is loose and the AC encoding when it is tight. Moreover we can use, for each constraint, the k AC clause with the best adapted k. The principal issue is to know a priori how to pick k. The notion of m looseness [vBD97] give us a way to choose among the di erent k. De nition 4 (m looseness) A constraint relation R of arity a is called mloose if, for any variable X i constrained by R and any instantiation I of the remaining a 1 variables constrained by R, there are at least m supports of I to X i that satisfy ....
....di erent k. De nition 4 (m looseness) A constraint relation R of arity a is called mloose if, for any variable X i constrained by R and any instantiation I of the remaining a 1 variables constrained by R, there are at least m supports of I to X i that satisfy R. Theorem 4 (van Beek and Dechter[vBD97]) A constraint network with domains that are of size at most d and relations that are m loose is relationally (k, d e 1) consistent for all k. Proof: See [vBD97] 2 We can restrict this to relational (k,1) consistency (that is relational k arc consistency) and then we have the relation ....
[Article contains additional citation context not shown here]
P. van Beek and R. Dechter. Constraint tightness and looseness versus local and global consistency. Journal of the ACM, 44:549566, 1997.
Consistency and Set Intersection - Yuanlin Zhang And (2003) (Correct)
No context found.
van Beek, P. and Dechter, R. 1997. Constraint Tightness and Looseness versus Local and Global Consistency. J. ACM 44(4): 549--566.
Consistency and Set Intersection - Yuanlin Zhang And (2003) (Correct)
No context found.
P. van Beek and R. Dechter. Constraint tightness and looseness versus local and global consistency. Journal of The ACM, 44(4):549--566, 1997.
On Tightness of Constraints - Yuanlin Zhang Cork (Correct)
No context found.
P. van Beek and R. Dechter. Constraint tightness and looseness versus local and global consistency. Journal of The ACM, 44(4):549--566, 1997.
On Tightness of Constraints - Yuanlin Zhang Cork (Correct)
No context found.
P. van Beek and R. Dechter. Constraint tightness and looseness versus local and global consistency. Journal of The ACM, 44(4):549--566, 1997.
Local Consistencies in SAT - Bessiere, Hebrard, Walsh (Correct)
No context found.
P. van Beek and R. Dechter. Constraint tightness and looseness versus local and global consistency. Journal of the ACM, 44:549566, 1997.
Tightness of Constraint Satisfaction Problems - Culberson, Walsh (2001) (Correct)
No context found.
P. van Beek and R. Dechter. Constraint tightness and looseness versus local and global consistency. Journal of the Association for Computing Machinery, 44:549--566, 1997.
Relational Consistencies - Walsh (2001) (Correct)
No context found.
P. van Beek and R. Dechter. Constraint tightness and looseness versus local and global consistency. Journal of the Association for Computing Machinery, 44:549--566, 1997.
Local Consistencies in SAT - Bessiere, Hebrard, Walsh (Correct)
No context found.
P. van Beek and R. Dechter. Constraint tightness and looseness versus local and global consistency. Journal of the ACM, 44:549566, 1997.
Local Consistencies in SAT - Bessière, Hebrard, Walsh (Correct)
No context found.
P. van Beek and R. Dechter. Constraint tightness and looseness versus local and global consistency. J. of the ACM, 44:549566, 1997.
Modelling and Solving Employee Timetabling Problems - Meisels, Schaerf (2002) (Correct)
No context found.
R. Dechter and P. vanBeek. Constraint tightness and looseness versus local and global consistency. J. of ACM, 44:549-566, 1997.
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