下载PDF摘要:我们比较了过去二十年来硬件进步和算法进步对SAT求解的影响。特别是,我们比较了在新的计算机硬件上使用20年的SAT解算器与使用20年的硬件上的现代SAT解算器。我们的发现表明,算法方面的进步至少和硬件方面的进步一样有影响。