Valeriy BalabanovJie-Hong RolJiang, Christoph SchollChristoph SchollJiangAlan MishchenkoRobert K. BraytonJIE-HONG JIANG2018-09-102018-09-102016-07http://scholars.lib.ntu.edu.tw/handle/123456789/3983672QBF: Challenges and Solutionsconference paper10.1007/978-3-319-40970-2_282-s2.0-84977471024