Variable and value elimination in binary constraint satisfaction via forbidden patterns

David A. Cohen, Martin C. Cooper, Guillaume Escamocher +1

Variable or value elimination in a constraint satisfaction problem (CSP) can be used in preprocessing or during search to reduce search space size. A variable elimination rule (val…