共 50 条
- [1] Reformulation of SAT into a Polynomial Box-Constrained Optimization Problem INTEGRATED FORMAL METHODS, IFM 2020, 2020, 12546 : 387 - 394
- [3] New semidefinite programming relaxations for box constrained quadratic program Science China Mathematics, 2013, 56 : 877 - 886
- [6] On approximating complex quadratic optimization problems via semidefinite programming relaxations Mathematical Programming, 2007, 110 : 93 - 110
- [10] On approximating complex quadratic optimization problems via semidefinite programming relaxations INTEGER PROGRAMMING AND COMBINATORIAL OPTIMIZATION, PROCEEDINGS, 2005, 3509 : 125 - 135