黄拙
【姓名】 黄拙
【职称】
【研究领域】 计算机软件及计算机应用;自动化技术;
【研究方向】
【发表文献关键词】 可满足性问题,一阶逻辑,命题逻辑,算法,可满足性,转换工具,有限集合,计算机科学,论域,重要问题,搜索空间,等价,实际问题,数学研究,实际应用,实验结果,SAGE,FIND,Claus,软件研究所,
【工作单位】 中国科学院软件研究所
【曾工作单位】 中国科学院软件研究所;
【所在地域】 北京中国
今年新增/文献篇数 核心期刊论文数 基金论文数 第一作者篇数 总被引频次 总下载频次
0/2 2 2 1 32 706
中国期刊全文数据库    共找到2篇
[1]季晓慧,黄拙,张健.约束求解与优化技术的结合[J]计算机学报.2005,(11)
[2]黄拙,张健.由一阶逻辑公式得到命题逻辑可满足性问题实例(英文)[J]软件学报.2005,(03)
更多