Variable and value elimination in binary constraint satisfaction via forbidden patterns | Read Paper on Bytez