2022年7月24日
对传播队列操作的情况-代码阅读
摘要： 1. 冲突子句中各个文字所在层的排查--（1）是否有仅有一个在决策层；（2）次大层是否为0层；如为0层，则推到出UNSAT； 1 struct ConflictData 2 { 3 ConflictData() : 4 nHighestLevel(-1), 5 bOnlyOneLitFromHigh 阅读全文
posted @ 2022-07-24 11:15 海阔凭鱼跃越 阅读(20) 评论(0) 推荐(0) 编辑