K. Subramani, Piotr J. Wojciechowski. Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas. Annals of Mathematics and Artificial Intelligence, 90(1):3-29, 2022. [doi]
@article{SubramaniW22-0,
title = {Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas},
author = {K. Subramani and Piotr J. Wojciechowski},
year = {2022},
doi = {10.1007/s10472-021-09762-2},
url = {https://doi.org/10.1007/s10472-021-09762-2},
researchr = {https://researchr.org/publication/SubramaniW22-0},
cites = {0},
citedby = {0},
journal = {Annals of Mathematics and Artificial Intelligence},
volume = {90},
number = {1},
pages = {3-29},
}