关注
Heng Liu
Heng Liu
Simon Fraser University
在 sfu.ca 的电子邮件经过验证
标题
引用次数
引用次数
年份
An efficient SAT solving algorithm using pseudo-conflict learning and heterogeneous computing
H Liu, W MacCaully, X Wang
2015 Third International Symposium on Computing and Networking (CANDAR), 127-132, 2015
42015
A Model-Theoretic View on Preferences in Declarative Specifications of Search Problems.
A Ensan, E Ternovska, H Liu
PRUV@ IJCAR, 2018
2018
How to Speed Up CUDA-WSat-PcL by 5x
H Liu, A Shriraman, E Ternovska
2016 Fourth International Symposium on Computing and Networking (CANDAR …, 2016
2016
系统目前无法执行此操作，请稍后再试。
文章 1–3
共建清朗的网络空间,如遇有害信息,请举报。
本站数据皆整合自互联网公开资源索引,方便科研学术方面查询,并不存储相关数据资源;如对此有异议,请联系我们解决.
© 2023 学术资源搜索   @联系我们 | 申请短期会员 | 数据源提交