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