849 Benchmark Suite of ER Formulas
收藏arXiv2025-09-30 收录
下载链接：
https://github.com/vuphan314/DPER
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含了849个将硬关系逻辑公式转换为方程关系公式的样本，旨在评估方程关系-SSAT求解器的性能。此外，该数据集还包括了两个原本用于加权和未加权投影采样的公式家族。该任务旨在对方程关系-SSAT求解器的性能进行评估。
This dataset contains 849 samples that convert hard relational logic formulas into equational relational formulas, with the aim of evaluating the performance of equational relational-SSAT solvers. In addition, this dataset also includes two families of formulas originally used for weighted and unweighted projection sampling. This task is designed to evaluate the performance of equational relational-SSAT solvers.
提供机构：
Public repository on GitHub
