A. Abdulrahman, H. Becker, M. J. Kannwischer, and F. Klein, “Fast and Clean: Auditable high-performance assembly via constraint solving”, TCHES, vol. 2024, no. 1, pp. 87–132, Dec. 2023.