@inproceedings{ccez13:ijcai,
  title = "Variable elimination in binary CSP via forbidden patterns",
  author = "David A. Cohen and Martin C. Cooper and Guillaume Escamoche and Stanislav \v{Z}ivn\'y",
  year = "2013",
  booktitle = "Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJCAI'13)",
  pages = "517--523",
  url = "http://ijcai.org/papers13/Papers/IJCAI13-084.pdf",
}