An Efficient SAT-Based Test Generation Algorithm with GPU Accelerator. - Muhammad Osama 003; Lamya Gaber; Aziza I. Hussein; Hanafy Mahmoud (J. Electron. Test., 2018)

Computation of minimal unsatisfiable subformulas for SAT-based digital circuit error diagnosis. - Lamya Gaber; Aziza I. Hussein; Hanafy Mahmoud; M. Mourad Mabrook; Mohammed Moness (J. Ambient Intell. Humaniz. Comput., 2022)