Show simple item record

Benchmarks and solvers for the Workflow Satisfiability Problem

dc.contributor.authorKarapetyan, Daniel
dc.contributor.otherGutin, Gregory
dc.date.accessioned2021-05-06T12:24:07Z
dc.date.available2021-05-06T12:24:07Z
dc.date.issued2021-05-06
dc.identifier.urihttps://rdmc.nottingham.ac.uk/handle/internal/9142
dc.description.abstractThe 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.en_UK
dc.language.isoenen_UK
dc.publisherThe University of Nottinghamen_UK
dc.rightsCC-BY-NC*
dc.rights.urihttps://creativecommons.org/licenses/by-nc/4.0/*
dc.subject.lcshDecision makingen_UK
dc.subject.lcshComputer algorithmsen_UK
dc.subject.lcshWorkflow -- Data processingen_UK
dc.subject.lcshWorkflow management systemsen_UK
dc.titleBenchmarks and solvers for the Workflow Satisfiability Problemen_UK
dc.identifier.doihttp://doi.org/10.17639/nott.7116
dc.subject.freeWorkflow Satisfiability Problem; Constraint Satisfaction Problem; Satisfiablity Problem; Benchmarks; Source Codes; General-Purpose Solvers; OR-Tools; Z3; SAT4Jen_UK
dc.subject.jacsComputer Sciences::Artificial intelligence::Machine learning, Automated reasoningen_UK
dc.subject.lcQ Science::QA Mathematics::QA 75 Electronic computers. Computer scienceen_UK
uon.divisionUniversity of Nottingham, UK Campus::Faculty of Science::School of Computer Scienceen_UK
uon.funder.controlledNoneen_UK
uon.datatypeBenchmarks, source codes and experimental resultsen_UK
uon.collectionmethodPseudorandom generation; implementation of algorithms; measurment of computational timesen_UK


Files in this item

Thumbnail
Name:
readme.txt
Size:
1.421Kb
Format:
Text file
View/Open
Thumbnail
Name:
Data, solvers and instance ...
Size:
378.8Kb
Format:
Unknown
Description:
Experimental data, solvers (source ...
View/Open
Thumbnail
Name:
WSP instances.zip
Size:
2.229Gb
Format:
Unknown
Description:
Pseudorandom instances used in ...
View/Open

This item appears in the following Collection(s)

  • Public Research Data
    A collection of research data, held in this repository, that is publicly available, except where individual embargoes apply

Show simple item record

CC-BY-NC
Except where otherwise noted, this item's license is described as Creative Commons by Attribution, Non Commercial