2024年1月25日
cnf结构探索与应用的文献-归入cmt标签
摘要： 最新的概述文献： On the Structure of the Boolean Satisfiability Problem: A Survey 对基于底层结构SAT相关技术进行了详细的介绍，相关引用文献十分完善，可以作为关于结构方面的检索手册使用。 @inproceedings{DBLP:con 阅读全文
posted @ 2024-01-25 11:44 海阔凭鱼跃越 阅读(7) 评论(0) 推荐(0) 编辑