52 citations · 146 across the 26 of their papers we have counts for
1 paper · 2 filters
Andrei A. Bulatov
There are two well known types of algorithms for solving CSPs: local propagation and generating a basis of the solution space. For several years the focus of the CSP research has b…