APA (7th ed.) Citation

Luo, W., Wei, O., & Wan, H. (2021). SATMCS: An Efficient SAT-Based Algorithm and Its Improvements for Computing Minimal Cut Sets. IEEE transactions on reliability, 70(2), 575-589. https://doi.org/10.1109/TR.2020.3014012

Chicago Style (17th ed.) Citation

Luo, Weilin, Ou Wei, and Hai Wan. "SATMCS: An Efficient SAT-Based Algorithm and Its Improvements for Computing Minimal Cut Sets." IEEE Transactions on Reliability 70, no. 2 (2021): 575-589. https://doi.org/10.1109/TR.2020.3014012.

MLA (9th ed.) Citation

Luo, Weilin, et al. "SATMCS: An Efficient SAT-Based Algorithm and Its Improvements for Computing Minimal Cut Sets." IEEE Transactions on Reliability, vol. 70, no. 2, 2021, pp. 575-589, https://doi.org/10.1109/TR.2020.3014012.