Abdulrahman, A.; Becker, H.; Kannwischer, M. J.; Klein, F. Fast and Clean: Auditable High-Performance Assembly via Constraint Solving. TCHES 2023, 2024, 87-132.