A. El Mouelhi, “A BTP-Based Family of Variable Elimination Rules for Binary CSPs”, AAAI, vol. 31, no. 1, Feb. 2017.