2021年8月1日
文献学习-A New Clause Learning Scheme for Efficient Unsatisfiability Proofs
摘要： 文献信息 Knot Pipatsrisawat, Adnan Darwiche:A New Clause Learning Scheme for Efficient Unsatisfiability Proofs. AAAI 2008: 1481-1484 http://citeseerx.ist. 阅读全文
posted @ 2021-08-01 11:07 海阔凭鱼跃越 阅读(65) 评论(0) 推荐(0) 编辑