Variable Selection with PageRank for SAT Solvers
Variable Selection with PageRank for SAT Solvers
复制标题
SAT 求解器的 PageRank 变量选择
DOI：
10.3844/jcssp.2019.1074.1084
复制
发表时间：
2019
影响因子：
--
通讯作者：
Sonobe Tomohiro
中科院分区：
文献类型：
--
作者：
Daisuke Hatano;Yuko Kuroki;Yasushi Kawase;Hanna Sumita;Naonori Kakimura;Ken-ichi Kawarabayashi;Sonobe Tomohiro;Sonobe Tomohiro
