Improving the applicability of adaptive consistency : preliminary results
Publication Type:Conference Paper
Source:Lecture notes in computer science, Springer, Volume 3258, p.757-761 (2004)
We incorporate two ideas in ADC. The first one, delaying variable elimination, permits performing joins in different buckets, not forcing to eliminate one variable before start processing the bucket of another variable. It may cause exponential savings in space. The second idea, join with filtering, consists in taking into account the effect of other constraints when performing the join of two constraints. If a tuple resulting from this join is going to be removed by an existing constraint, this tuple is not produced. It can also produce exponential savings. We have tested these techniques on two classical problems, n-queens and Schurrsquos lemma, showing very promising benefits.