退出
我的积分:
中文文献批量获取
外文文献批量获取
王强; 刘磊; 吕帅;
吉林大学计算机科学与技术学院;
吉林长春 130012;
符号计算与知识工程教育部重点实验室(吉林大学);
扩展规则; 模型计数; 启发式算法; 极大项空间; 规约子句;
机译:基于改进冲突条款处理的并行SAT求解算法
机译:一种新的基于规则集的双层决策问题的求解算法
机译:规则三维网格的基于图快速变换的直接求解算法
机译:基于SAT溶剂D启发式的基于条款-BASEA子句的启发式坐垫
机译:基于规则的算法音乐创作中的复杂性和启发式。
机译:基于模糊数学方法的化工系统多准则优化问题及其求解算法
机译:通过迭代扩展的特征空间扩展的深度规则创建的启发式创作
机译:基于遗留启发式的实证分析开发新的多维背包启发式算法
机译:用于SAT的基于分区的决策启发式算法以及使用SAT和BDD进行图像计算
机译:用于基于规则的启发式方法基于预测的结果数据流减少基于自上而下规则的系统中的编译时间的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。