Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas
scientific article; zbMATH DE number 7473192
scientific article