R. Wang, “Encoding Constraints as Binary Constraint Networks Satisfying BTP”, AAAI, vol. 38, no. 8, pp. 8172–8181, Mar. 2024.