File upload size is currently capped at 500MB. For assistance adding larger files, please contact discovery-access-systems@nottingham.ac.uk
Thumbnail Image

Benchmarks and solvers for the Workflow Satisfiability Problem

Publication Date
May 6, 2021
Creators
Description
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.
External URI
DOI
Subjects (LCSH)

Decision making

Computer algorithms

Workflow -- Data proc...

Workflow management s...

Subjects

Workflow Satisfiabili...

Subjects (JACS)

Computer Sciences::Ar...

Subjects (LC)

Q Science::QA Mathema...

Divisions
University of Nottingham, UK Campus::Faculty of Science::School of Computer Science
Data type
Benchmarks, source codes and experimental results
Funders
Data collection method
Pseudorandom generation; implementation of algorithms; measurment of computational times
Resource languages
English
Publisher
The University of Nottingham
Date Issued
May 6, 2021
Except where otherwise noted, this item's license is described as
File(s)
Thumbnail Image
Name

WSP instances.zip

Description
Pseudorandom instances used in the publication; can be generated using the provided instance generator
Size

2.23 GB

Format

Unknown

Checksum (MD5)

827a615c0555d997fb2dfdf34286729a

Thumbnail Image
Name

Data, solvers and instance generator.zip

Description
Experimental data, solvers (source code) and instance generator
Size

378.8 KB

Format

Unknown

Checksum (MD5)

fd687d2e31dce22b43ca751dd6d975cc