Greater-Than Principle (GT)
收藏arXiv2025-09-30 收录
下载链接：
https://maxsat-evaluations.github.io/
下载链接
链接失效反馈官方服务：
资源简介：
该数据集包含了50个不断增大规模的MaxSAT实例，所有问题实例均为不可满足的。该数据集旨在验证所提出方法的适用性，并涵盖了关键的组合原理。每个原理下包含了50个实例，任务是对MaxSAT问题进行求解。
This dataset contains 50 MaxSAT instances of increasingly scaled sizes, all of which are unsatisfiable. It is intended to verify the applicability of the proposed method and covers key combinatorial principles. Each of these principles includes 50 instances, and the task is to solve the MaxSAT problems.
提供机构：
PySAT
