“Fast and Clean: Auditable high-performance assembly via constraint solving”, TCHES, vol. 2024, no. 1, pp. 87–132, Dec. 2023, doi: 10.46586/tches.v2024.i1.87-132.