2020年9月25日
文献阅读——Conflict-Driven Clause Learning SAT Solvers
摘要： Joao Marques-Silva, Ines Lynce and Sharad Malik 4.1. Introduction One of the main reasons for the widespread use of SAT in many applications is that C 阅读全文
posted @ 2020-09-25 10:56 海阔凭鱼跃越 阅读(376) 评论(0) 推荐(0)