An Experimental Survey of Extended Resolution Effects for SAT Solvers on the Pigeonhole Principle
An Experimental Survey of Extended Resolution Effects for SAT Solvers on the Pigeonhole Principle
复制标题
SAT 求解器扩展分辨率效应对鸽巢原理的实验研究
DOI：
10.3390/a15120479
复制
发表时间：
2022
期刊：
影响因子：
2.3
通讯作者：
Sonobe Tomohiro
中科院分区：
文献类型：
--
作者：
Huang Xiao;Orimoto Yuuichi;Aoki Yuriko;Sonobe Tomohiro
