Adaptive SAT Modeling for Optimal Pattern Retargeting in IEEE 1687 Networks

Abrar A. Ibrahim, Ahmed M. Y. Ibrahim, M. Watheq El-Kharashi, Mona Safar. Adaptive SAT Modeling for Optimal Pattern Retargeting in IEEE 1687 Networks. IEEE Transactions on Computers, 73(2):536-547, February 2024. [doi]

Abstract

Abstract is missing.