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]

Authors

David A. Cohen

This author has not been identified. Look up 'David A. Cohen' in Google

Martin C. Cooper

This author has not been identified. Look up 'Martin C. Cooper' in Google

Guillaume Escamocher

This author has not been identified. Look up 'Guillaume Escamocher' in Google

Stanislav Zivny

This author has not been identified. Look up 'Stanislav Zivny' in Google