退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:具有分支的异步P系统,并拟解决可满足问题
Yuki Jimen; Akihiro Fujiwara;
机译:具有分支和界的异步P系统,用于解决可满足性问题
机译:P系统具有分支并绑定两个硬图问题
机译:一种解决自行车共享系统中静态平衡问题的分支定界算法
机译:用分支定界的可满足性问题的异步P系统
机译:分布式处理的异步算法(并行,问题解决,黑板,团队方法,分支,绑定)
机译:详细神经元模型的异步分支并行模拟
机译:解决随机数的计算复杂性分析 使用分支定界搜索算法的可满足性问题
机译:解决布尔可满足性的动力学系统的构建方法
机译:基于可满足模差逻辑求解器确定集成电路混合制造过程计划的系统和方法
机译:通过紧密耦合结构可满足性求解器和重写算法来增强验证的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。