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

Document Details

Document Type: Pub Defense Publication
Publication Date: Jun 29, 2021
Source ID: 10.1007/s10472-021-09762-2

Entities

People

K. Subramani
Piotr Wojciechowski

Organizations

Air Force Office of Scientific Research