A modified branch-and-bound strategy

Pradip Bose

VTS 1998

Khalid Abdulla, Andrew Wirth, et al.

ICIAfS 2014

Xinyi Su, Guangyu He, et al.

Dianli Xitong Zidonghua/Automation of Electric Power Systems

Yao Qi, Raja Das, et al.

ISSTA 2009