周志慧

GSTE model detection method based on AIGs and SAT solver

杨俊, 高毅, 张艳, 2013 .

Absorption type double-loop solar efficient heat pump device

王志林, 周志慧, 王琳玉, 2015 .