111 citations · 240 across the 11 of their papers we have counts for
1 paper · 1 filter
Peter Jeavons, Justyna Petke
Local consistency techniques such as k-consistency are a key component of specialised solvers for constraint satisfaction problems. In this paper we show that the power of using k-…