退出
我的积分:
中文文献批量获取
外文文献批量获取
余丰人; 丘海明;
中山大学电子与通信工程系;
合取范式; SAT问题; 复杂性分析;
机译:合取范式公式可满足性问题的算法
机译:带谱的单调合取范式公式的模型计数
机译:基于合取范式可满足性验证的功能不确定性描述的可实现性分析
机译:求取合取范式的命题公式的素数蕴涵
机译:合取范式的模糊元胞自动机。
机译:线性规划研究随机可满足性问题的典型算法复杂度的相变
机译:解决随机数的计算复杂性分析 使用分支定界搜索算法的可满足性问题
机译:使用半定规划放松可满足性问题.1111软件工程
机译:可满足性问题的计算方法,可满足性问题计算系统和程序
机译:可满足性问题计算方法,可满足性问题计算系统和程序
机译:以合取范式快速评估常规查询的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。