随笔 - 260
文章 - 0
评论 - 0
阅读 -
52987
02 2024 档案
计算机科学与技术专业杂志名称
摘要：关于杂志选刊网站： 1. Letpub网址：http://www.letpub.com.cn/index.php?page=journalapp简介除了查文献外，还可以通过筛选专业、发布国家、期刊分区、影响因子等进行选刊，可以搜索到匹配的刊物，还可具体显示影响因子、录用难度、国产占比、一审周期、投稿
阅读全文
SAT及其能解决的问题及其文献
摘要：1. 早期文献提到的SAT应用及编码 文献title：Adding a New Conflict Based Branching Heuristic in two Evolved DPLL SAT Solvers。 前沿部分提到了一些应用及其文献引用： Given a propositional f
阅读全文
