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]

No reviews for this publication, yet.