SAT求解中的增量内处理

此页提供了一个SAT’19实际上获得了最佳学生论文奖。

Katalin Fazekas、Armin Biere、Christoph Scholl。
增量正在处理SAT解决.
程序中。第22届国际会议。论理论与应用满意度测试（SAT’19），
课堂笔记计算机科学（LNCS）
第11628卷，第136-154页，施普林格2019年。
[预印本|围巾|实验|图片]

存档文件包含要运行和分析的源代码、脚本实验，以及制作表格和绘图。日志文件仅在第一个大型）存档中提供，第二个是没有日志文件，而且要小得多。