2020年12月29日
求解器改进新的见解01--2020-12阅读文献摘录
摘要： 1. VANSAT and NegVanSAT Abd El-Maksoud, M.A., Abdalla, A. A novel SAT solver for the Van der Waerden numbers. J Egypt Math Soc 27, 22 (2019). https:// 阅读全文
posted @ 2020-12-29 13:48 海阔凭鱼跃越 阅读(242) 评论(0) 推荐(0) 编辑