TY  - RPRT
TI  - Variable and value elimination in binary constraint satisfaction via forbidden patterns
AU  - David A. Cohen
AU  - Martin C. Cooper
AU  - Guillaume Escamocher
AU  - Stanislav Zivny
PY  - 2015
DO  - 10.1016/j.jcss.2015.02.001
UR  - https://arxiv.org/abs/1502.03796
ID  - 1502.03796
ER  -