Crossmark

Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas

Crossref DOI link: https://doi.org/10.1007/s10472-021-09762-2

Published Online: 2021-06-29

Published Print: 2022-01

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Subramani, K. https://orcid.org/0000-0001-5821-5117
Wojciechowski, Piotr
Funding

Funding for this research was provided by:

Air Force Office of Scientific Research (FA9550-19-1-017)
License Information

Text and Data Mining valid from 2021-06-29

Version of Record valid from 2021-06-29
More Information

Article History

Accepted: 10 June 2021

First Online: 29 June 2021