发布 Benchmark Instances for Workflow Satisfiability Problem 数据集, 应用在 工作流管理、约束满足问题 领域

本次发布的数据集 Benchmark Instances for Workflow Satisfiability Problem, 该数据集是为了评估不同解算器在处理工作流可满足性问题（WSP）时的性能而生成的一系列基准实例。这些实例考虑了不同数量的用户和约束条件。实例生成器支持多种约束，如职责分离（SoD）、最多三人（AM3）、SUAL、WL和ADA等，这些都是基于现实世界应用而设计的。该任务旨在对不同解算器在WSP实例上的性能进行比较。

查看Benchmark Instances for Workflow Satisfiability Problem

关于 arXiv , arXiv 是一个免费分发服务和开放获取的学术文章档案库，涵盖了物理学、数学、计算机科学、定量生物学、定量金融、统计学、电气工程和系统科学以及经济学等领域。该网站上的材料并未经过 arXiv 的同行评审。