Karapetyan, Daniel (2019) Workflow Satisfiability Problem with User-Independent Constraints: Instances, Instance Generator and Algorithms. [Data Collection]
Karapetyan, Daniel (2019) Workflow Satisfiability Problem with User-Independent Constraints: Instances, Instance Generator and Algorithms. [Data Collection]
Karapetyan, Daniel 2019. Workflow Satisfiability Problem with User-Independent Constraints: Instances, Instance Generator and Algorithms. [Data Collection]. Colchester, University of Essex. 10.5526/ERDR-00000114
Collection description
Source code and data for the publication: Daniel Karapetyan, Andrew J. Parkes, Gregory Gutin, Andrei Gagarin. Pattern-Based Approach to the Workflow Satisfiability Problem with User-Independent Constraints. To appear in Journal of Artificial Intelligence Research. Includes: - Source code of an instance generator for the Workflow Satisfiability Problem with User-Independent Constraints (WSP) (part of the C# tool) - Parameters of benchmark instances - Benchmark instances with solutions - Source code of the Pattern Backtracking Algorithm (PBT) (part of the C# tool) - Translator of WSP instances into Pseudo-Boolean formulation (part of the C# tool) - Translator of WSP instances into Constraint Satisfaction Problem formulation (CspRunner.py)
| Item Type: | Data Collection | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Creators: |
|
||||||||
| Division: | Faculty of Science and Health > Computer Science and Electronic Engineering, School of | ||||||||
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science Q Science > QA Mathematics > QA76 Computer software |
||||||||
| Keywords: | Workflow Satisfiability Problem with User-Independent Constraints, Phase transition, Constraint Satisfaction, Pseudo-Boolean Formulation, Fixed Parameter Tractability, Benchmark instances | ||||||||
| Research funder: | EPSRC | ||||||||
| Grant reference: | EP/K005162/1 | ||||||||
| Grant title: | Parameterized Algorithmics for the Analysis and Verification of Constrained Workflow Systems | ||||||||
| Depositor: | Daniel Karapetyan | ||||||||
| Date Deposited: | 18 Jul 2019 11:23 | ||||||||
| Last Modified: | 22 Jul 2019 09:32 | ||||||||
| URI: | http://researchdata.essex.ac.uk/id/eprint/114 |
| Collection period: |
|
||||
|---|---|---|---|---|---|
| Data type: | Software, Code, Numeric, Database | ||||
| Metadata language: | English | ||||
| Resource language: | English |
| Copyright holders: |
|
|---|
Available files
Data
Accessible to:: Anyone
File or bundle content: Data
Metadata Revision: 8
Mime-Type: application/zip
Licence: Creative Commons: Attribution-Share Alike 4.0
File Size: 180kB
Accessible to:: Anyone
File or bundle content: Data
Metadata Revision: 6
Mime-Type: application/x-7z-compressed
Licence: Creative Commons: Attribution 4.0
File Size: 11MB
Accessible to:: Anyone
File or bundle content: Data
Metadata Revision: 6
Mime-Type: application/x-7z-compressed
Licence: Creative Commons: Attribution 4.0
File Size: 80MB
Accessible to:: Anyone
File or bundle content: Data
Metadata Revision: 6
Mime-Type: application/x-7z-compressed
Licence: Creative Commons: Attribution 4.0
File Size: 158MB
Accessible to:: Anyone
File or bundle content: Data
Metadata Revision: 4
Mime-Type: application/x-7z-compressed
Licence: Creative Commons: Attribution 4.0
File Size: 521MB
Accessible to:: Anyone
File or bundle content: Data
Metadata Revision: 3
Mime-Type: application/x-7z-compressed
Licence: Creative Commons: Attribution 4.0
File Size: 765MB
Accessible to:: Anyone
File or bundle content: Data
Metadata Revision: 3
Mime-Type: application/x-7z-compressed
Licence: Creative Commons: Attribution 4.0
File Size: 1GB
Accessible to:: Anyone
File or bundle content: Data
Metadata Revision: 4
Mime-Type: application/x-7z-compressed
Licence: Creative Commons: Attribution 4.0
File Size: 3GB