Variable and value elimination in binary constraint satisfaction via forbidden patterns

David A. Cohen, Martin C. Cooper, Guillaume Escamocher, Stanislav Zivny. Variable and value elimination in binary constraint satisfaction via forbidden patterns. J. Comput. Syst. Sci., 81(7):1127-1143, 2015. [doi]

Abstract

Abstract is missing.