Benchmarks and solvers for the Workflow Satisfiability Problem
收藏DataCite Commons2024-11-29 更新2025-04-17 收录
下载链接：
https://rdmc.nottingham.ac.uk/handle/internal/9142
下载链接
链接失效反馈官方服务：
资源简介：
The Workflow Satisfiability Problem is an important problem in access control. This dataset includes the instances, instance generator and source codes of the solvers used in Daniel Karapetyan, Gregory Gutin, Solving the Workflow Satisfiability Problem using General Purpose Solvers, 2021.
创建时间：
2021-05-06
