Wang, R. (2024). Encoding Constraints as Binary Constraint Networks Satisfying BTP. Proceedings of the AAAI Conference on Artificial Intelligence, 38(8), 8172–8181. https://doi.org/10.1609/aaai.v38i8.28657