Abstract: Two major milestones on the road to the full complexity dichotomy for finite-domain constraint satisfaction problems were Bulatov’s proof of the dichotomy for conservative templates, and the ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results