退出
我的积分:
中文文献批量获取
外文文献批量获取
机译:关于模态Horn子句可满足性的复杂性的说明
Del Cerro Luis Fariñas; Penttonen Martti;
机译:非角子句逻辑编程的复杂性
机译:基本模态逻辑中的可满足性与有限可满足性
机译:以新的方式:旧技术:子句加权,单位传播和杂交,以获得最大可靠性
机译:修剪加权一阶喇叭条款可靠性的搜索空间
机译:非子句和电路可满足性的随机局部搜索。
机译:线性规划研究随机可满足性问题的典型算法复杂度的相变
机译:模态命题逻辑的模态Horn子句可满足性的计算复杂性
机译:在布尔型可满足性求解器的可重构硬件加速器中容纳学习的条款
机译:确定条款的可满足性和过渡关闭
机译:通过将变量嵌入自然语言而获得的构成文学的喇叭声的计算机程序,方法和装置
抱歉,该期刊暂不可订阅,敬请期待!
目前支持订阅全部北京大学中文核心(2020)期刊目录。