Show simple item record

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
Thumbnail
Thumbnail

This item appears in the following Collection(s)

Show simple item record

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