共 50 条
- [1] SOLVING A CLASS OF QUADRATIC PROGRAMS WITH LINEAR COMPLEMENTARITY CONSTRAINTS VIA A MAJORIZED PENALTY APPROACH INTERNATIONAL JOURNAL OF INNOVATIVE COMPUTING INFORMATION AND CONTROL, 2016, 12 (01): : 203 - 214
- [2] Solving linear programs with complementarity constraints using branch-and-cut Mathematical Programming Computation, 2019, 11 : 267 - 310
- [4] Solving a class of semidefinite programs via nonlinear programming Mathematical Programming, 2002, 93 : 97 - 122
- [6] Generating Biased Dataset for Metamorphic Testing of Machine Learning Programs TESTING SOFTWARE AND SYSTEMS (ICTSS 2019), 2019, 11812 : 56 - 64
- [8] Generating Valid Linear Inequalities for Nonlinear Programs via Sums of Squares Journal of Optimization Theory and Applications, 2020, 186 : 911 - 935
- [10] Towards Generalization in QBF Solving via Machine Learning THIRTY-SECOND AAAI CONFERENCE ON ARTIFICIAL INTELLIGENCE / THIRTIETH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE / EIGHTH AAAI SYMPOSIUM ON EDUCATIONAL ADVANCES IN ARTIFICIAL INTELLIGENCE, 2018, : 6607 - 6614