%0 Journal Article %1 journals/tcad/KirovNSP24 %A Kirov, Dmitrii %A Nuzzo, Pierluigi %A Sangiovanni-Vincentelli, Alberto L. %A Passerone, Roberto %D 2024 %J IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. %K dblp %N 1 %P 30-43 %T Efficient Encodings for Scalable Exploration of Cyber-Physical System Architectures. %U http://dblp.uni-trier.de/db/journals/tcad/tcad43.html#KirovNSP24 %V 43

@article{journals/tcad/KirovNSP24, added-at = {2024-01-13T00:00:00.000+0100}, author = {Kirov, Dmitrii and Nuzzo, Pierluigi and Sangiovanni-Vincentelli, Alberto L. and Passerone, Roberto}, biburl = {https://www.bibsonomy.org/bibtex/2496a123880579e31b9f082362d1029af/dblp}, ee = {https://doi.org/10.1109/TCAD.2023.3306717}, interhash = {17e5143aaacaab94c2d8937338b5ac3e}, intrahash = {496a123880579e31b9f082362d1029af}, journal = {IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.}, keywords = {dblp}, month = {January}, number = 1, pages = {30-43}, timestamp = {2024-04-08T19:47:04.000+0200}, title = {Efficient Encodings for Scalable Exploration of Cyber-Physical System Architectures.}, url = {http://dblp.uni-trier.de/db/journals/tcad/tcad43.html#KirovNSP24}, volume = 43, year = 2024 }