The following pages link to (Q3429015):
Displaying 9 items.
- Sums of squares based approximation algorithms for MAX-SAT (Q944728) (← links)
- Iterative and core-guided maxsat solving: a survey and assessment (Q2348540) (← links)
- Semidefinite resolution and exactness of semidefinite relaxations for satisfiability (Q2446872) (← links)
- Semidefinite programming based approaches to the break minimization problem (Q2583777) (← links)
- (Q3109951) (← links)
- Exact Semidefinite Programming Relaxations with Truncated Moment Matrix for Binary Polynomial Optimization Problems (Q5737720) (← links)
- Semidefinite relaxations for partitioning, assignment and ordering problems (Q5917881) (← links)
- Semidefinite relaxations for partitioning, assignment and ordering problems (Q5925162) (← links)
- Empirical Properties of Optima in Free Semidefinite Programs (Q6050736) (← links)