• Benchmarks and solvers for the...

Treffer: Benchmarks and solvers for the Workflow Satisfiability Problem

Title:
Benchmarks and solvers for the Workflow Satisfiability Problem
Authors:
Karapetyan, Daniel
Contributors:
Gutin, Gregory
Publisher Information:
The University of Nottingham
Publication Year:
2021
Collection:
Nottingham Research Data Management Repository (University of Nottingham)
Subject Terms:
Decision making, Computer algorithms, Workflow -- Data processing, Workflow management systems, Workflow Satisfiability Problem, Constraint Satisfaction Problem, Satisfiablity Problem, Benchmarks, Source Codes, General-Purpose Solvers, OR-Tools, Z3, SAT4J, Computer Sciences::Artificial intelligence::Machine learning, Automated reasoning, Q Science::QA Mathematics::QA 75 Electronic computers. Computer science
Document Type:
dataset
Language:
English
Relation:
https://rdmc.nottingham.ac.uk/handle/internal/9142; http://doi.org/10.17639/nott.7116
DOI:
10.17639/nott.7116
Availability:
https://rdmc.nottingham.ac.uk/handle/internal/9142
https://doi.org/10.17639/nott.7116
Rights:
CC-BY-NC ; https://creativecommons.org/licenses/by-nc/4.0/
Accession Number:
edsbas.6DF2529C
Database:
BASE

Weitere Informationen

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.