科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:SAT的两个新上限
Edward A. Hirsch;
机译:栅极消除:电路尺寸下限和#sat上限
机译:通过通用框架的电路尺寸下界和#SAT上界
机译:通过通用框架的电路尺寸下限和#SAT上限
机译:以子句数为参数的#2-SAT和#3-SAT新的最坏情况上限
机译:使用上限元素技术(UBET)和改进的上限元素技术(MUBET)对复杂的金属成型过程进行计算机建模。
机译:最大公共子图:一些上限和下限结果
机译:通过一般框架,电路尺寸下限和#saT上限
机译:高效的分布式SAT和基于SAT的分布式有界模型检查
机译:高效分布式SAT和基于SAT的分布式有界模型检验
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。