Abdulrahman, A., Becker, H., Kannwischer, M., & Klein, F. (2024). Fast and Clean: Auditable high-performance assembly via constraint solving [Conference paper]. 1