Tiejun Li关注立即认领分享关注立即认领分享基本信息浏览量:5职业迁徙个人简介暂无内容研究兴趣论文共 23 篇作者统计合作学者相似作者按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选时间引用量主题期刊级别合作者合作机构一种面向蒙特卡洛程序的128核可扩展体系结构张立,黎铁军,张建民计算机工程与科学(2023)引用0浏览0引用00一种加速FPGA布线的不可满足子式求解算法黎铁军,张建民,马柯帆,肖立权电子学报(2021)引用0浏览0引用00基于地域约束的单位名称二次聚类贺依依,黎铁军,蒋艳凰计算机与数字工程(2019)引用0浏览0引用00小尺寸指纹识别技术 高广生,黎铁军计算机与数字工程(2019)引用0浏览0引用00加强约束的布尔可满足硬件求解器马柯帆,肖立权,张建民,黎铁军, 周善祥国防科技大学学报(2018)引用0浏览0引用00一种安全高效的跨域单点登录系统设计与实现吴君楠,黎铁军,袁远, 隋荣恒软件工程(2018)引用2浏览0引用20一种并行计算机互连网络中的地址转换Cache李思昆,黎铁军,张建民计算机研究与发展no. 2 (2016): 390-398引用0浏览0引用00应用不可满足子式的解码电路综合优化方法张建民,黎铁军,马柯帆,肖立权国防科技大学学报(2016)引用1浏览0引用10基于硬件可编程逻辑的SAT求解算法研究与进展黎铁军,马柯帆,张建民,肖立权计算机工程与科学no. 4 (2016): 634-639引用1浏览0引用10求解布尔不可满足子式的消解悖论算法张建民,黎铁军,徐炜遐,庞征斌,李思昆国防科技大学学报(2015)引用0浏览0引用00加载更多作者统计合作学者合作机构D-Core合作者学生导师暂无相似学者,你可以通过学者研究领域进行搜索筛选数据免责声明页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn