Making Higher-Order Superposition Work
收藏NIAID Data Ecosystem2026-03-12 收录
下载链接：
https://zenodo.org/record/4534828
下载链接
链接失效反馈官方服务：
资源简介：
This package contains the raw evaluation data, and the scripts necessary for the reproduction of the results for the paper Making Higher-Order Superposition Work. Problems used for evaluation are available at https://doi.org/10.5281/zenodo.4269591.
Zipperposition is available at https://github.com/sneeuwballen/zipperposition. See the README file in the archive below for detailed instructions on how to run it.
NOTE: The configuration named fig2_mc_av corresponds to the IC+AV configuration from the paper.
The name IC (immediate clausification) was introduces after the submission of the package to Zenodo.
Also, Figure 3, which contained the pseudocode, is removed in the camera-ready version of the paper.
Thus, all files figD_res(summary).csv with D >= 4 correspond to figures Figure D-1 in the paper. For example,
fig7_ressummary.csv corresponds to the figure 6 in the paper.
We are sorry for the inconvenience.
创建时间：
2021-04-27
