Using Formal Verification Methods for Optimization of Circuits Under External Constraints. - Daniel Große; Lucas Klemmer; Dominik Bonora (DATE, 2024)