Publications
Prof. Bai Xue - Institute of Software, Chinese Academy of Sciences
Back to Homepage
Equation Relaxation-based Barrier-like Condition Construction Methods