66 citations · 130 across the 13 of their papers we have counts for
1 paper · 1 filter
R. H. C. Yap, Y. Zhang
In this paper, we show that there is a close relation between consistency in a constraint network and set intersection. A proof schema is provided as a generic way to obtain consis…