Ding-Zhu Du
algorithms Approximation boolean satisfiability problem complementarity Complementary Slackness linear optimization optimal design optimization Optimization algorithm Optimization algorithms polynomial programming quadratic programming scheduling