Pages that link to "Item:Q3644712"
From MaRDI portal
The following pages link to The Lovász Local Lemma and Satisfiability (Q3644712):
Displaying 4 items.
- A Kolmogorov complexity proof of the Lovász local lemma for satisfiability (Q690463) (← links)
- On simplified NP-complete variants of \textsc{Monotone} 3\textsc{-Sat} (Q2223685) (← links)
- Waiter-client and client-waiter colourability and \(k\)-SAT games (Q2363109) (← links)
- A General Framework for Hypergraph Coloring (Q5093586) (← links)