Pages that link to "Item:Q3429738"
From MaRDI portal
The following pages link to Strong Refutation Heuristics for Random k-SAT (Q3429738):
Displaying 6 items.
- Noisy tensor completion via the sum-of-squares hierarchy (Q2144539) (← links)
- Note on strong refutation algorithms for random \(k\)-SAT formulas (Q2840534) (← links)
- Strongly refuting random CSPs below the spectral threshold (Q4977966) (← links)
- Approximation, Randomization, and Combinatorial Optimization. Algorithms and Techniques (Q5313034) (← links)
- Algorithms and Computation (Q5712137) (← links)
- (Q6084345) (← links)