Dmitrii Kirov, Pierluigi Nuzzo 0002, Alberto L. Sangiovanni-Vincentelli, Roberto Passerone. Efficient Encodings for Scalable Exploration of Cyber-Physical System Architectures. IEEE Trans. on CAD of Integrated Circuits and Systems, 43(1):30-43, January 2024. [doi]
Abstract is missing.