退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:解决非常困难的问题:立方体和征服,一种混合八个求解方法
Marijn J.H. Heule; Oliver Kullmann; Victor W. Marek;
机译:网格上SAT的多维解决方案
机译:应用现代SAT解算器解决难题
机译:基于整体方程方法的混合求解器和3D控制源电磁法模型混合求解器3D CSEM建模的载体求解器
机译:确定用于使用SAT解算器解决线性优化问题的最佳算术电路
机译:用于生物分子三介电层混合溶剂化模型的图像电荷方法
机译:伪布尔黑匣子优化方法在解决硬SAT实例的剥夺和征服方法的背景下
机译:具有可配置硬件的布尔SAT解决方案设备,用于解决输入问题
机译:逻辑公式转换程序,SAT解算器程序和SAT难度评估程序
机译:集成的在线解决方案,可解决公司面临的难题,能够快速解决公司的难题
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。