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]

@article{IbrahimIES24,
  title = {Adaptive SAT Modeling for Optimal Pattern Retargeting in IEEE 1687 Networks},
  author = {Abrar A. Ibrahim and Ahmed M. Y. Ibrahim and M. Watheq El-Kharashi and Mona Safar},
  year = {2024},
  month = {February},
  doi = {10.1109/TC.2023.3336198},
  url = {https://doi.org/10.1109/TC.2023.3336198},
  researchr = {https://researchr.org/publication/IbrahimIES24},
  cites = {0},
  citedby = {0},
  journal = {IEEE Transactions on Computers},
  volume = {73},
  number = {2},
  pages = {536-547},
}