杨国武

Sorting and slurrying pre-processing system for kitchen waste

王亚峰, 王雪梅, 蒋丽娟, 2013 .

GSTE model detection method based on AIGs and SAT solver

杨俊, 高毅, 张艳, 2013 .