退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:QCTL模型 - 使用QBF求解器进行模型检查
Akash Hossain; François Laroussinie;
机译:QBF求解器的QCTL模型检查
机译:了解QBF CDCL溶剂和QBF分辨率的相对强度
机译:2016年和2017年QBF求解器评估(Q.BFEVAL'16和QBFEVAL'17)
机译:QBF竞技场的挑战:QBF求解器的SAT'03评估“
机译:用于系统验证的符号模型检查及其在决策表和分布式协作发布系统中的应用。
机译:新的溶剂化自由能函数包括分子间溶剂化和分子内自溶项
机译:使用嵌套的SAT求解器求解QBF实例
机译:量化布尔公式(QBF)求解器
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。