Pages that link to "Item:Q944728"
From MaRDI portal
The following pages link to Sums of squares based approximation algorithms for MAX-SAT (Q944728):
Displaying 4 items.
- On semidefinite least squares and minimal unsatisfiability (Q516798) (← links)
- Semidefinite resolution and exactness of semidefinite relaxations for satisfiability (Q2446872) (← links)
- Lower bounds of functions on finite abelian groups (Q6591628) (← links)
- Computing sparse Fourier sum of squares on finite abelian groups in quasi-linear time (Q6657418) (← links)
