Pages that link to "Item:Q944728"

The following pages link to Sums of squares based approximation algorithms for MAX-SAT (Q944728):

Displaying 2 items.

• On semidefinite least squares and minimal unsatisfiability (Q516798) (← links)
• Semidefinite resolution and exactness of semidefinite relaxations for satisfiability (Q2446872) (← links)