@misc{indiciae7f92df6cd1ba,
  title = {Variable and value elimination in binary constraint satisfaction via forbidden patterns},
  author = {David A. Cohen and Martin C. Cooper and Guillaume Escamocher and Stanislav Zivny},
  year = {2015},
  doi = {10.1016/j.jcss.2015.02.001},
  url = {https://arxiv.org/abs/1502.03796},
  note = {Source identifier: 1502.03796}
}