Pages that link to "Item:Q3440269"
From MaRDI portal
The following pages link to A Note on Unsatisfiable <i>k</i>-CNF Formulas with Few Occurrences per Variable (Q3440269):
Displaying 6 items.
- Disproof of the neighborhood conjecture with implications to SAT (Q377802) (← links)
- Computing unsatisfiable \(k\)-SAT instances with few occurrences per variable (Q557836) (← links)
- XSAT and NAE-SAT of linear CNF classes (Q2440094) (← links)
- How Many Conflicts Does It Need to Be Unsatisfiable? (Q3502712) (← 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)
