Workflow Satisfiability Problem with User-Independent Constraints: Instances, Instance Generator and Algorithms

114 42 123 6 900 document 123 Instances-10k.7z application/x-7z-compressed e1da07c47f5d5b67f840f23e93d46000 MD5 11890614 2019-07-13 21:09:15 https://researchdata.essex.ac.uk/114/1/Instances-10k.7z 114 1 2 application/x-7z-compressed other Instances and solutions for the n = 10k slice en public cc_by_4

Instances-10k.7z

data 124 6 901 document 124 Instances-100k.7z application/x-7z-compressed d0d4eaad5a1500851fce616f315a695b MD5 80930720 2019-07-13 21:09:15 https://researchdata.essex.ac.uk/114/2/Instances-100k.7z 114 2 3 application/x-7z-compressed other Instances and solutions for the n = 100k slice en public cc_by_4

Instances-100k.7z

data 125 6 903 document 125 Instances-fixedk-36-294912.7z application/x-7z-compressed 9b6e91c0591ec2b1f0b47affac3c2897 MD5 158251965 2019-07-13 21:10:34 https://researchdata.essex.ac.uk/114/3/Instances-fixedk-36-294912.7z 114 3 4 application/x-7z-compressed other Instances and solutions for the fixed k slice; n ranges from 36 to 294912 en public cc_by_4

Instances-fixedk-36-294912.7z

data 126 4 905 document 126 Instances-fixedk-589824-1179648.7z application/x-7z-compressed 641939148d9292ce9ff1fa83a2cafa62 MD5 521714122 2019-07-13 21:10:45 https://researchdata.essex.ac.uk/114/4/Instances-fixedk-589824-1179648.7z 114 4 5 application/x-7z-compressed other Instances and solutions for the fixed k slice; n ranges from 589824 to 1179648 en public cc_by_4

Instances-fixedk-589824-1179648.7z

data 128 3 914 document 128 Instances-fixedk-2359296.7z application/x-7z-compressed 325f5264578054a442a2215a97771585 MD5 765840065 2019-07-13 21:12:01 https://researchdata.essex.ac.uk/114/6/Instances-fixedk-2359296.7z 114 6 6 application/x-7z-compressed other Instances and solutions for the fixed k slice; n = 2359296 en public cc_by_4

Instances-fixedk-2359296.7z

data 129 4 918 document 129 Instances-fixedk-9437184.7z application/x-7z-compressed bf2bd1a34994d82db76ac72980cadfaf MD5 3011262455 2019-07-13 21:12:33 https://researchdata.essex.ac.uk/114/7/Instances-fixedk-9437184.7z 114 7 8 application/x-7z-compressed other Instances and solutions for the fixed k slice; n = 9437184 en public cc_by_4

Instances-fixedk-9437184.7z

data 130 3 917 document 130 Instances-fixedk-4718592.7z application/x-7z-compressed 3fb854b3132d7f94e7fe72f157fd497a MD5 1511964878 2019-07-13 21:12:33 https://researchdata.essex.ac.uk/114/7/Instances-fixedk-4718592.7z 114 7 7 application/x-7z-compressed other Instances and solutions for the fixed k slice; n = 4718592 en public cc_by_4

Instances-fixedk-4718592.7z

data 131 8 925 document 131 wsp-tool.zip application/zip ebbf0c4cb44caf870db082f54546c5cb MD5 180441 2019-07-13 22:02:48 https://researchdata.essex.ac.uk/114/8/wsp-tool.zip 114 8 1 application/zip archive Source code of the instance generator, algorithm and translation procedures; tabular data en public cc_by_sa_4

wsp-tool.zip

data archive 38 disk0/00/00/01/14 2019-07-18 11:23:46 2019-07-22 09:32:18 2019-07-18 11:23:46 data_collection show Workflow Satisfiability Problem with User-Independent Constraints: Instances, Instance Generator and Algorithms 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) Workflow Satisfiability Problem with User-Independent Constraints Phase transition Constraint Satisfaction Pseudo-Boolean Formulation Fixed Parameter Tractability Benchmark instances QA75 QA76 sch_ecs Karapetyan Daniel daniel.karapetyan@gmail.com University of Essex http://orcid.org/0000-0003-4030-6525 Software Code Numeric Database Parkes Andrew Gutin Gregory Gagarin Andrei 2013-02-01 2016-04-30 English English Karapetyan Daniel daniel.karapetyan@gmail.com University of Essex http://orcid.org/0000-0003-4030-6525 2019-07-13 University of Essex 10.5526/ERDR-00000114 EP/K005162/1 Parameterized Algorithmics for the Analysis and Verification of Constrained Workflow Systems EPSRC 2013-02-01 2016-04-30