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.