搜索到 篇“ SAT问题 “的相关文章

相关作者

许道云
作品数：165被引量：330H指数：9
供职机构：贵州大学计算机科学与技术学院
研究主题：SAT问题 极小不可满足公式 正则 英文 收敛性
王晓峰
作品数：84被引量：222H指数：8
供职机构：北方民族大学
研究主题：因子图 收敛性 SAT问题 置信传播算法 收敛性分析
唐璞山
作品数：130被引量：172H指数：6
供职机构：复旦大学信息科学与工程学院专用集成电路与系统国家重点实验室
研究主题：集成电路 VLSI CAD FPGA 版图
贺毅朝
作品数：56被引量：491H指数：11
供职机构：河北师范大学软件学院
研究主题：遗传算法 背包问题 差分演化 差分演化算法 SAT问题
谷文祥
作品数：96被引量：366H指数：12
供职机构：长春建筑学院
研究主题：人工智能 数学模型 规划图 SAT问题 汉字输入