Pages that link to "Item:Q5224491"
From MaRDI portal
The following pages link to The Complexity of Finding Read-Once NAE-Resolution Refutations (Q5224491):
Displaying 4 items.
- Parameterized and exact algorithms for finding a read-once resolution refutation in 2CNF formulas (Q2075363) (← links)
- Copy complexity of Horn formulas with respect to unit read-once resolution (Q2235734) (← links)
- NAE-resolution: A new resolution refutation technique to prove not-all-equal unsatisfiability (Q3386749) (← links)
- (Q4539605) (← links)