Jun Sui, Chang Xu, Shing-Chi Cheung, Wang Xi, Yanyan Jiang 0001, Chun Cao, Xiaoxing Ma, Jian Lu. Hybrid CPU-GPU constraint checking: Towards efficient context consistency. Information \& Software Technology, 74:230-242, 2016. [doi]
Abstract is missing.