Pages that link to "Item:Q1408387"
From MaRDI portal
The following pages link to Homomorphisms of conjunctive normal forms. (Q1408387):
Displaying 7 items.
- Disproof of the neighborhood conjecture with implications to SAT (Q377802) (← links)
- Computing unsatisfiable \(k\)-SAT instances with few occurrences per variable (Q557836) (← links)
- The complexity of homomorphisms and renamings for minimal unsatisfiable formulas (Q1777396) (← links)
- Polynomial time algorithms for computing a representation for minimal unsatisfiable formulas with fixed deficiency. (Q1853126) (← links)
- Formula simplification via invariance detection by algebraically indexed types (Q2104529) (← links)
- The Lovász Local Lemma and Satisfiability (Q3644712) (← links)
- (Q4989407) (← links)
