67 citations · 111 across the 9 of their papers we have counts for
1 paper · 1 filter
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…