Data · dataset · 2015
Implementation of the Pattern Branch and Bound algorithm for the Valued Workflow Satisfiability Problem
Listed in DataCite
This file contains source codes of the Pattern Branch and Bound algorithm and a pseudo-random instance generator for the valued workflow satisfiability problem with user-independent constraints.
Description
This implementation was used in "Jason Crampton, Gregory Z. Gutin, and Daniel Karapetyan. Valued workflow satisfiability problem.
In proc. of ACM symposium on Access control models and technologies (SACMAT), 1–3 June, Vienna, Austria. ACM, 2015." The algorithm and the generator are implemented in C#. The generator is deterministic; to produce distinct instances of the same size and properties, change the seed value.
Read the rest (2 more)
Provided are a Visual Studio 2013 project (including an example of generating an instance and solving it) and compiled x64 .NET executables. In addition, a class to solve the problem with CPLEX is included in the project. The MIP formulation of the problem can be found in the above paper.
An installation of CPLEX is only required if this MIP based solver is used. The implementation of the algorithm and the generator is provided for non-commercial use only. When using this source code, please cite the above paper.
Links
Where it is published
- Repository landing page figshare.com/articles/dataset/Implementation_of_the_Pattern_Branch_and_Boun… ↗
landing page · from DataCite
- DOI doi.org/10.6084/m9.figshare.1367470 ↗
DOI / persistent id · from DataCite
Documentation and papers
Catalogue records · 2
- DataCite API api.datacite.org/dois/10.6084/m9.figshare.1367470 ↗
metadata API · from DataCite
- DataCite Commons commons.datacite.org/doi.org/10.6084/m9.figshare.1367470 ↗
catalogue entry · from DataCite
Topics
- Stated by source
- Computer and information sciences
Provenance · 1 source records, 9 field assertions
| Source | Key | Last seen | Raw |
|---|---|---|---|
| DataCite | 10.6084/m9.figshare.1367470 | 14 d ago | JSON v1 |
| Field | Assertion | Extractor | Evidence |
|---|---|---|---|
| access_level | source · DataCite | connector:datacite@1.0.0 | /data/attributes/rightsList |
| byte_size | source · DataCite | connector:datacite@1.0.0 | |
| concepts[field].fos:computer-and-information-sciences | source · DataCite | connector:datacite@1.0.0 | |
| created_date | source · DataCite | connector:datacite@1.0.0 | |
| description | source · DataCite | connector:datacite@1.0.0 | /data/attributes/descriptions |
| license | source · DataCite | connector:datacite@1.0.0 | /data/attributes/rightsList |
| publication_date | source · DataCite | connector:datacite@1.0.0 | /data/attributes/dates |
| title | source · DataCite | connector:datacite@1.0.0 | /data/attributes/titles/0/title |
| updated_date | source · DataCite | connector:datacite@1.0.0 |