退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:提高离散Lagrange乘数搜索的性能,以解决SAT难题
Yi Shang; Benjamin W. Wah;
机译:解决缩小搜索空间中的加权Max-SAT问题:性能分析
机译:引导性本地搜索以解决SAT和加权MAX-SAT问题
机译:改进用于非线性约束优化的加权Lagrange乘子方法的性能
机译:提高离散Lagrange乘数搜索的性能以解决SAT难题
机译:通过利用CDCL的经验特性来改进SAT解算器。
机译:解决健康问题方案中的在线信息搜索性能和搜索策略
机译:一种有效的顺序saT求解器,具有改进的搜索策略
机译:利用系统局部搜索进行SAT求解的方法和机制
机译:具有可配置硬件的布尔SAT解决方案设备,用于解决输入问题
机译:逻辑公式转换程序,SAT解算器程序和SAT难度评估程序
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。