搜索筛选:
搜索耗时3.1627秒,为你在为你在102,285,761篇论文里面共找到 2 篇相符的论文内容
发布年度:
[期刊论文] 作者：翟树茂,,
来源：中外交流 年份：2016
信息技术的飞速发展,推动了教育从目的、内容、形式、方法到组织的全面变革.站在教育第一线的教师,完全有必要对教学过程重新认识.“大力推进多媒体信息技术在教学过程中的普...
[期刊论文] 作者：包冬庆, 葛宁, 翟树茂, 张莉,
来源：软件学报 年份：2022
布尔可满足性求解能够验证的问题规模通常受限,因此,如何高精度地预测其可满足性既是重要的研究问题,也是一项具有挑战性的工作.相关研究工作一般使用由文字节点和子句节点组成的图来表示布尔可满足性问题的结构,但是这种表征方法缺少了变量、子句之间的重要关......
相关搜索：
