10 citations · 10 across the 1 of their papers we have counts for
1 paper
Christophe Lecoutre, Stephane Cardon, Julien Vion
In this paper, we propose a comprehensive study of second-order consistencies (i.e., consistencies identifying inconsistent pairs of values) for constraint satisfaction. We build a…