Abdulrahman A, Becker H, Kannwischer MJ, Klein F. Fast and Clean: Auditable high-performance assembly via constraint solving. TCHES. 2023;2024(1):87-132. doi:10.46586/tches.v2024.i1.87-132