2020年12月29日
摘要: 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 海阔凭鱼跃越 阅读(263) 评论(0) 推荐(0) 编辑