APA (7th ed.) Citation

Gaber, L., Hussein, A. I., Mahmoud, H., Mabrook, M. M., & Moness, M. (2022). Computation of minimal unsatisfiable subformulas for SAT-based digital circuit error diagnosis. Journal of ambient intelligence and humanized computing, 13(7), 3693-3711. https://doi.org/10.1007/s12652-020-02247-w

Chicago Style (17th ed.) Citation

Gaber, Lamya, Aziza I. Hussein, Hanafy Mahmoud, M. Mourad Mabrook, and Mohammed Moness. "Computation of Minimal Unsatisfiable Subformulas for SAT-based Digital Circuit Error Diagnosis." Journal of Ambient Intelligence and Humanized Computing 13, no. 7 (2022): 3693-3711. https://doi.org/10.1007/s12652-020-02247-w.

MLA (9th ed.) Citation

Gaber, Lamya, et al. "Computation of Minimal Unsatisfiable Subformulas for SAT-based Digital Circuit Error Diagnosis." Journal of Ambient Intelligence and Humanized Computing, vol. 13, no. 7, 2022, pp. 3693-3711, https://doi.org/10.1007/s12652-020-02247-w.