2024年2月8日
SAT及其能解决的问题及其文献
摘要： 1. 早期文献提到的SAT应用及编码 文献title：Adding a New Conflict Based Branching Heuristic in two Evolved DPLL SAT Solvers。 前沿部分提到了一些应用及其文献引用： Given a propositional f 阅读全文
posted @ 2024-02-08 21:37 海阔凭鱼跃越 阅读(26) 评论(0) 推荐(0) 编辑