MaxSAT Evaluation 2019 Benchmark
收藏arXiv2019-11-02 更新2024-08-06 收录
下载链接：
http://arxiv.org/abs/1911.00516v1
下载链接
链接失效反馈官方服务：
资源简介：
MaxSAT Evaluation 2019 Benchmark是由帝国理工学院伦敦分校的研究团队创建的，用于识别AND/OR图中的关键节点。该数据集包含80个案例，涉及不同大小和组成的AND/OR图，旨在通过将图形模型转换为加权逻辑公式来解决加权部分MaxSAT问题。数据集的创建过程涉及使用META4ICS工具生成和分析合成伪随机AND/OR图。该数据集主要应用于工业控制系统（ICS）的安全评估，旨在通过识别关键的网络组件来提高系统的安全性。
The MaxSAT Evaluation 2019 Benchmark was developed by a research team from Imperial College London for identifying key nodes in AND/OR graphs. This dataset includes 80 cases covering AND/OR graphs of varying sizes and structures, aiming to solve the weighted partial MaxSAT problem by converting graphical models into weighted logical formulas. The creation of this dataset involved using the META4ICS tool to generate and analyze synthetic pseudo-random AND/OR graphs. It is primarily applied in the security assessment of Industrial Control Systems (ICS), with the objective of improving system security by identifying critical network components.
提供机构：
帝国理工学院伦敦分校
创建时间：
2019-11-02
