科研证明
文献服务
退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:使用一般配合进行非子句公式的满意度检查
机译:在语言L中检查以不规则正态表示的公式的可满足性
机译:检查语言中以不规则正态表示的公式的可满足性
机译:时间逻辑可满足性检查器的公式生成方法
机译:非子句和电路可满足性的随机局部搜索。
机译:使用贴纸自动机模型检查时间逻辑公式
机译:使用一般配合进行非子句公式的可满足性检查
机译:满意度检查
机译:使用交互式二进制决策图扫描和结构可满足性分析的等价检查组合电路的方法和系统
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。