Optimal Pattern Retargeting in IEEE 1687 Networks: A SAT-based Upper-Bound Computation

Abrar A. Ibrahim, Ahmed M. Y. Ibrahim, M. Watheq El-Kharashi, Mona Safar. Optimal Pattern Retargeting in IEEE 1687 Networks: A SAT-based Upper-Bound Computation. ACM Trans. Design Autom. Electr. Syst., 28(4), July 2023. [doi]

Abstract

Abstract is missing.