Hybrid CPU-GPU constraint checking: Towards efficient context consistency

Jun Sui, Chang Xu, Shing-Chi Cheung, Wang Xi, Yanyan Jiang, Chun Cao, Xiaoxing Ma, Jian Lu