Pages that link to "Item:Q1575269"
From MaRDI portal
The following pages link to DNF tautologies with a limited number of occurrences of every variable (Q1575269):
Displaying 5 items.
- Disproof of the neighborhood conjecture with implications to SAT (Q377802) (← links)
- Computing unsatisfiable \(k\)-SAT instances with few occurrences per variable (Q557836) (← links)
- Comparison of two convergence criteria for the variable-assignment Lopsided Lovász Local Lemma (Q2094876) (← links)
- The Lovász Local Lemma and Satisfiability (Q3644712) (← links)
- The Discrepancy of Unsatisfiable Matrices and a Lower Bound for the Komlós Conjecture Constant (Q6158363) (← links)
