The science of brute forceMarijn J. H. Heule,Oliver KullmannCommun. ACM(2017)引用 44|浏览63暂无评分摘要Mathematics solves problems by pen and paper. CS helps us to go far beyond that.更多查看译文AI 理解论文溯源树样例生成溯源树,研究论文发展脉络