%0 Journal Article %1 journals/infsof/SuiXCX0CML16 %A Sui, Jun %A Xu, Chang %A Cheung, Shing-Chi %A Xi, Wang %A Jiang, Yanyan %A Cao, Chun %A Ma, Xiaoxing %A Lu, Jian %D 2016 %J Inf. Softw. Technol. %K dblp %P 230-242 %T Hybrid CPU-GPU constraint checking: Towards efficient context consistency. %U http://dblp.uni-trier.de/db/journals/infsof/infsof74.html#SuiXCX0CML16 %V 74

@article{journals/infsof/SuiXCX0CML16, added-at = {2022-08-16T00:00:00.000+0200}, author = {Sui, Jun and Xu, Chang and Cheung, Shing-Chi and Xi, Wang and Jiang, Yanyan and Cao, Chun and Ma, Xiaoxing and Lu, Jian}, biburl = {https://www.bibsonomy.org/bibtex/294a0c4b2e978e21ae5ec229380a627dd/dblp}, ee = {https://www.wikidata.org/entity/Q113317248}, interhash = {838c4d2bdcb08e39bd6ff18eaafe4a5e}, intrahash = {94a0c4b2e978e21ae5ec229380a627dd}, journal = {Inf. Softw. Technol.}, keywords = {dblp}, pages = {230-242}, timestamp = {2024-04-09T04:47:13.000+0200}, title = {Hybrid CPU-GPU constraint checking: Towards efficient context consistency.}, url = {http://dblp.uni-trier.de/db/journals/infsof/infsof74.html#SuiXCX0CML16}, volume = 74, year = 2016 }