A BTP-Based Family of Variable Elimination Rules for Binary CSPs

Open in new window