Pages that link to "Item:Q5311515"
From MaRDI portal
The following pages link to Parameterized and Exact Computation (Q5311515):
Displaying 3 items.
- On finding short resolution refutations and small unsatisfiable subsets (Q820148) (← links)
- Characterizing Tseitin-formulas with short regular resolution refutations (Q2118291) (← links)
- NAE-resolution: A new resolution refutation technique to prove not-all-equal unsatisfiability (Q3386749) (← links)