I agree that this site is using cookies. You can find further informations here.
X
Merkliste 
 1 Ergebnisse 
 
1

Efficient Encodings for Scalable Exploration of Cyber-Physi..:

Kirov, Dmitrii ; Nuzzo, Pierluigi ; Sangiovanni-Vincentelli, Alberto.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.  43 (2024)  1 - p. 30-43 , 2024
Link: https://doi.org/10.1109/tcad.2023.3306717