The following pages link to (Q3515551):
Displaying 8 items.
- On semidefinite least squares and minimal unsatisfiability (Q516798) (← links)
- On semidefinite programming relaxations of \((2+p)\)-SAT (Q1861907) (← links)
- Relaxations of the satisfiability problem using semidefinite programming (Q1977751) (← links)
- Semidefinite resolution and exactness of semidefinite relaxations for satisfiability (Q2446872) (← links)
- Exploiting semidefinite relaxations in constraint programming (Q2489123) (← links)
- (Q3109951) (← links)
- (Q4667097) (← links)
- Extended McCormick relaxation rules for handling empty arguments representing infeasibility (Q6166098) (← links)