Benchmarks and solvers for the Workflow Satisfiability Problem

Thumbnail
View/Open
Publication date
2021-05-06
Creators
Karapetyan, Daniel
Metadata
Show full item record
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
  • 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
Divisions
  • University of Nottingham, UK Campus::Faculty of Science::School of Computer Science
Deposit date
2021-05-06
Data type
Benchmarks, source codes and experimental results
Contributors
  • Gutin, Gregory
Funders
  • None
Data collection method
Pseudorandom generation; implementation of algorithms; measurment of computational times
Resource languages
  • en
Publisher
The University of Nottingham
CC-BY-NC
Except where otherwise noted, this item's license is described as Creative Commons by Attribution, Non Commercial