2020年4月6日
摘要：
文献学习——Evaluating CDCL Variable Scoring Schemes 作者：Armin Biere ( B ) and Andreas Fröhlich 大牛，CaDiCal、YalSAT、Lingeling等求解器的研发团队负责人 这是作者2015年发表的文献，其中深入讲解 阅读全文
摘要：
2018GlucoseHack中对变元活跃度的计算方法LRB和CHB做了统一的讲解，并提出组合LRB和CHB并简化的方法。 暂且简要记录在这里，留待后续结合代码认真研究。 1.文献见2018年sat竞赛的总结说明文档： AbcdSAT and Glucose hack: Various Simpli 阅读全文