TY - RPRT TI - Variable elimination in binary CSPs AU - Martin C. Cooper AU - Achref El Mouelhi AU - Cyril Terrioux PY - 2019 UR - https://arxiv.org/abs/1905.04209 ID - 1905.04209 ER -