|
|
下载PDF在浏览器中打开PDF克劳斯证明压缩6页•发布日期:2016年9月27日摘要尽管小句命题证明与之相比要小得多对于分辨率证明,它们的大小对于几个来说仍然太大应用。本文提出了几种压缩方法子句证明。这些方法基于两阶段方法。这个第一阶段包括一个轻量级压缩算法,它可以容易添加到支持发射的可满足性解算器中子句证明。在第二阶段,我们建议使用off-the-shelf通用压缩工具,如bzip2和7z之间。压缩前对文字进行排序有助于增量编码,它与可变字节编码相结合,提高了压缩。我们证明子句证明可以按一个顺序压缩通过应用两个相位的大小。键盘:压缩,证明,坐 在:波利斯·寇涅夫,斯蒂芬·舒尔茨和劳伦特·西蒙(编辑)。IWIL-2015年。第十一届逻辑实施国际研讨会,第40卷,第21-26页 下载PDF在浏览器中打开PDF |
|
|