Login / Signup
Abrar A. Ibrahim
ORCID
Publication Activity (10 Years)
Years Active: 2023-2024
Publications (10 Years): 2
Top Topics
Lower Bound
Social Networks
Optimal Solution
Sat Solving
Top Venues
IEEE Trans. Computers
ACM Trans. Design Autom. Electr. Syst.
</>
Publications
</>
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 Trans. Computers
73 (2) (2024)
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) (2023)