退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:将计算机代数系统与SAT SOLVER应用于WILLIAMSON猜想
Curtis Bright; Ilias Kotsireas; Vijay Ganesh;
机译:将具有SAT解算器的计算机代数系统应用于威廉姆森猜想
机译:将SAT解算器与计算机代数系统相结合以验证组合猜想
机译:SAT求解在有限代数分类中的应用
机译:Mathcheck:通过计算机代数系统和SAT求解器组合的数学助手
机译:对沉浸在计算机代数系统Mathematica(TM)中的微积分类中的交互,概念发展和问题解决的定性研究。
机译:ADAM:使用计算机代数分析生物系统的离散模型
机译:LS系统的算法分析:求解对数空间中的3-SAT问题(代数系统算法和计算理论)
机译:使用量子计算机求解3SAT的系统和方法
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。