Login / Signup
Dominik Bonora
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 1
Top Topics
Formal Verification
Data Mining Techniques
Optimization Methods
Top Venues
DATE
</>
Publications
</>
Daniel Große
,
Lucas Klemmer
,
Dominik Bonora
Using Formal Verification Methods for Optimization of Circuits Under External Constraints.
DATE
(2024)