The following pages link to (Q3002778):
Displayed 5 items.
- Towards strong nonapproximability results in the Lovász-Schrijver hierarchy (Q430828) (← links)
- Techniques from combinatorial approximation algorithms yield efficient algorithms for random 2\(k\)-SAT (Q706614) (← links)
- Short propositional refutations for dense random 3CNF formulas (Q741088) (← links)
- Noisy tensor completion via the sum-of-squares hierarchy (Q2144539) (← links)
- Note on strong refutation algorithms for random k-SAT formulas (Q2840534) (← links)