#sat
University of California Will No Longer Consider Sat and Act Scores(www.nytimes.com)
2021-5-16 7:35
加州大学将不会在其10所学校制度的招生或奖学金决策中考虑到得分，并根据学生带来的诉讼的解决方案，包括一些国家最受欢迎的校区。
星期五宣布的解决方案发出了漫长的法律辩论结束，延长加州大学系统是否应该使用标准化测试，这些测试的颜色和残疾人的学生已经表示劣势。测试的反对者称为结算“历史，”表示，它将扩大对整个州的学生的校......
A Time Leap Challenge for Sat Solving(arxiv.org)
2020-9-22 2:59下载PDF摘要：我们比较了过去二十年来硬件进步和算法进步对SAT求解的影响。特别是，我们比较了在新的计算机硬件上使用20年的SAT解算器与使用20年的硬件上的现代SAT解算器。我们的发现表明，算法方面的进步至少和硬件方面的进步一样有影响。
Computer Scientists Attempt to Corner the Collatz Conjecture(www.quantamagazine.org)
2020-8-27 11:57
在过去的几年里，Marijn Heule使用了一种名为SAT Solution(SAT代表“可满足性”)的计算机化证明技术，攻克了一系列令人印象深刻的数学问题：2016年的毕达哥拉斯三重问题，2017年的舒尔5号问题，现在是凯勒在第七维的猜想--广达在我们最近的文章“计算机搜索解决了90岁的数学问题”(Compute......
Kissat SAT Solver(fmv.jku.at)
2020-7-31 2:30Kissat在2020年SAT大赛的主赛道上获得第一名，在不满意的情况下获得第一名。
为了表明SAT求解在最近几年有了很大的进步，特别是2020年的Kissat，我们收集了2002到2020年的SAT竞赛的获胜者，并对他们进行了固定和移植，使其与现代编译器兼容。
然后，我们在2011年、2019年和2020年的竞赛实......