Variable and value elimination in binary constraint satisfaction via forbidden patterns
Cohen, David A., Cooper, Martin C., Escamocher, Guillaume, Živný, StanislavVolume:
81
Language:
english
Journal:
Journal of Computer and System Sciences
DOI:
10.1016/j.jcss.2015.02.001
Date:
November, 2015
File:
PDF, 1.07 MB
english, 2015