2022年7月29日
学习子句管理策略总结2--Exploiting Glue Clauses to Design Effective CDCL Branching Heuristics
摘要： core-tier2-local三个集合管理子句的文献:An Experimental Study of Permanently Stored Learned Clauses 文献1：2019，较新 Exploiting Glue Clauses to Design Effective CDCL B 阅读全文
posted @ 2022-07-29 09:20 海阔凭鱼跃越 阅读(117) 评论(0) 推荐(0) 编辑