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
Citace podle Chicago (17th ed.)Luo, Weilin, Ou Wei, a 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.
Citace podle MLA (9th ed.)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.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..