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]

Authors

Abrar A. Ibrahim

This author has not been identified. Look up 'Abrar A. Ibrahim' in Google

Ahmed M. Y. Ibrahim

This author has not been identified. Look up 'Ahmed M. Y. Ibrahim' in Google

M. Watheq El-Kharashi

This author has not been identified. Look up 'M. Watheq El-Kharashi' in Google

Mona Safar

This author has not been identified. Look up 'Mona Safar' in Google