共 50 条
- [22] An improved semidefinite programming relaxation for the satisfiability problem Mathematical Programming, 2005, 102 : 589 - 608
- [26] Algorithm 925: Parallel Solver for Semidefinite Programming Problem having Sparse Schur Complement Matrix ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE, 2012, 39 (01):