K. Subramani, Piotr J. Wojciechowski. Finding read-once refutations in 2CNF formulas and variants - a parameterized perspective. In International Symposium on Artificial Intelligence and Mathematics, ISAIM 2020, Fort Lauderdale, Florida, USA, January 6-8, 2020. 2020. [doi]
@inproceedings{SubramaniW20-0,
title = {Finding read-once refutations in 2CNF formulas and variants - a parameterized perspective},
author = {K. Subramani and Piotr J. Wojciechowski},
year = {2020},
url = {http://isaim2020.cs.ou.edu/papers/ISAIM2020_Subramani_Wojciechowski.pdf},
researchr = {https://researchr.org/publication/SubramaniW20-0},
cites = {0},
citedby = {0},
booktitle = {International Symposium on Artificial Intelligence and Mathematics, ISAIM 2020, Fort Lauderdale, Florida, USA, January 6-8, 2020},
}