变量带来的差异
仅供审查
本页将提供我们2018年TACAS论文中的证明和工具。
表1：
CNF公式
公关证明
现有证据
普通证明
优化证明
表2：
CNF公式
公关证明
DRAT证明
CLRAT证明
校对工具：
PR2DRAT公司
。编译如下：gcc pr2drat.c-O2-o pr2drat
DRAT-饰件
.编译如下：gcc drat-trim.c-O2-o drat-ttrim