Benchmark Instances for Workflow Satisfiability Problem
收藏arXiv2025-09-30 收录
下载链接：
http://doi.org/10.17639/nott.7116
下载链接
链接失效反馈官方服务：
资源简介：
该数据集是为了评估不同解算器在处理工作流可满足性问题（WSP）时的性能而生成的一系列基准实例。这些实例考虑了不同数量的用户和约束条件。实例生成器支持多种约束，如职责分离（SoD）、最多三人（AM3）、SUAL、WL和ADA等，这些都是基于现实世界应用而设计的。该任务旨在对不同解算器在WSP实例上的性能进行比较。
This dataset comprises a series of benchmark instances generated to evaluate the performance of different solvers when handling the workflow satisfiability problem (WSP). These instances cover varying numbers of users and constraints. The instance generator supports multiple constraint types, including Separation of Duty (SoD), At Most Three (AM3), SUAL, WL, ADA, etc., all of which are designed based on real-world applications. This task aims to compare the performance of different solvers on WSP instances.
提供机构：
Authors of the paper
