VLSAT-3
收藏arXiv2021-12-07 更新2024-08-06 收录
下载链接：
http://arxiv.org/abs/2112.03675v1
下载链接
链接失效反馈官方服务：
资源简介：
VLSAT-3是一个包含1200个（600个可满足和600个不可满足）量词自由的一阶逻辑公式的基准套件，用于科学实验和软件竞赛，解决SAT和SMT求解问题，采用SMT-LIB格式并遵循Creative Commons许可。
VLSAT-3 is a benchmark suite comprising 1200 quantifier-free first-order logic formulas, with 600 satisfiable and 600 unsatisfiable instances. It is designed for scientific experiments and software competitions focused on SAT and SMT solving, and is provided in SMT-LIB format under a Creative Commons license.
创建时间：
2021-12-07
搜集汇总
数据集介绍
背景与挑战
背景概述
VLSAT-3是一个包含1200个量词自由的一阶逻辑公式的基准套件，其中可满足和不可满足公式各占一半，专用于SAT和SMT求解问题的科学实验和软件竞赛。数据集采用SMT-LIB格式，遵循Creative Commons许可，旨在为研究和竞赛提供一个标准化的测试平台。
以上内容由遇见数据集搜集并总结生成
