Pages that link to "Item:Q2075363"
From MaRDI portal
The following pages link to Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas (Q2075363):
Displaying 3 items.
The following pages link to Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas (Q2075363):
Displaying 3 items.