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-Zitierstil (17. Ausg.)Gaber, Lamya, Aziza I. Hussein, Hanafy Mahmoud, M. Mourad Mabrook, und 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-Zitierstil (9. Ausg.)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.