Subramani, K., & Wojciechowski, P. (2022). Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas. Annals of mathematics and artificial intelligence, 90(1), 3-29. https://doi.org/10.1007/s10472-021-09762-2
Citácia podle Chicago (17th ed.)Subramani, K., a Piotr Wojciechowski. "Parameterized and Exact Algorithms for Finding a Read-once Resolution Refutation in 2CNF Formulas." Annals of Mathematics and Artificial Intelligence 90, no. 1 (2022): 3-29. https://doi.org/10.1007/s10472-021-09762-2.
Citácia podľa MLA (8th ed.)Subramani, K., a Piotr Wojciechowski. "Parameterized and Exact Algorithms for Finding a Read-once Resolution Refutation in 2CNF Formulas." Annals of Mathematics and Artificial Intelligence, vol. 90, no. 1, 2022, pp. 3-29, https://doi.org/10.1007/s10472-021-09762-2.