Wang, R. Encoding Constraints As Binary Constraint Networks Satisfying BTP. AAAI 2024, 38, 8172-8181.