{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T11:32:14Z","timestamp":1725795134084},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319080154"},{"type":"electronic","value":"9783319080161"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08016-1_5","type":"book-chapter","created":{"date-parts":[[2014,5,30]],"date-time":"2014-05-30T00:18:07Z","timestamp":1401409087000},"page":"48-59","source":"Crossref","is-referenced-by-count":9,"title":["Engineering Algorithms for Workflow Satisfiability Problem with User-Independent Constraints"],"prefix":"10.1007","author":[{"given":"David","family":"Cohen","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jason","family":"Crampton","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrei","family":"Gagarin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gregory","family":"Gutin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Jones","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"2","key":"5_CR1","first-page":"185","volume":"30","author":"D. Berend","year":"2010","unstructured":"Berend, D., Tassa, T.: Improved bounds on Bell numbers and on moments of sums of random variables. Probability and Mathematical Statistics\u00a030(2), 185\u2013205 (2010)","journal-title":"Probability and Mathematical Statistics"},{"issue":"1","key":"5_CR2","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1145\/300830.300837","volume":"2","author":"E. Bertino","year":"1999","unstructured":"Bertino, E., Ferrari, E., Atluri, V.: The specification and enforcement of authorization constraints in workflow management systems. ACM Trans. Inf. Syst. Secur.\u00a02(1), 65\u2013104 (1999)","journal-title":"ACM Trans. Inf. Syst. Secur."},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"Chimani, M., Klein, K.: Algorithm engineering: Concepts and practice. In: Bartz-Beielstein, T., Chiarandini, M., Paquete, L., Preuss, M. (eds.) Experimental Methods for the Analysis of Optimization Algorithms, pp. 131\u2013158 (2010)","DOI":"10.1007\/978-3-642-02538-9_6"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Cohen, D., Crampton, J., Gagarin, A., Gutin, G., Jones, M.: Iterative plan construction for the workflow satisfiability problem. CoRR abs\/1306.3649 (2013)","DOI":"10.1613\/jair.4435"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Crampton, J.: A reference monitor for workflow systems with constrained task execution. In: Ferrari, E., Ahn, G.J. (eds.) SACMAT, pp. 38\u201347. ACM (2005)","DOI":"10.1145\/1063979.1063986"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Crampton, J., Gutin, G.: Constraint expressions and workflow satisfiability. In: Conti, M., Vaidya, J., Schaad, A. (eds.) SACMAT, pp. 73\u201384. ACM (2013)","DOI":"10.1145\/2462410.2462419"},{"key":"5_CR7","doi-asserted-by":"crossref","unstructured":"Crampton, J., Gutin, G., Yeo, A.: On the parameterized complexity and kernelization of the workflow satisfiability problem. ACM Trans. Inf. Syst. Secur. 16(1), 4 (2013)","DOI":"10.1145\/2487222.2487226"},{"key":"5_CR8","doi-asserted-by":"crossref","unstructured":"Downey, R.G., Fellows, M.R.: Parameterized Complexity. Springer (1999)","DOI":"10.1007\/978-1-4612-0515-9"},{"issue":"7","key":"5_CR9","doi-asserted-by":"publisher","first-page":"420","DOI":"10.1145\/364520.364540","volume":"7","author":"R. Durstenfeld","year":"1964","unstructured":"Durstenfeld, R.: Algorithm 235: Random permutation. Communications of the ACM\u00a07(7), 420 (1964)","journal-title":"Communications of the ACM"},{"key":"5_CR10","unstructured":"Fisher, R.A., Yates, F.: Statistical tables for biological, agricultural and medical research, 3rd edn. Oliver and Boyd (1948)"},{"key":"5_CR11","unstructured":"Flum, J., Grohe, M.: Parameterized Complexity Theory. Springer (2006)"},{"key":"5_CR12","first-page":"59","volume":"7","author":"D. Berre Le","year":"2010","unstructured":"Le Berre, D., Parrain, A.: The SAT4J library, release 2.2. J. Satisf. Bool. Model. Comput.\u00a07, 59\u201364 (2010)","journal-title":"J. Satisf. Bool. Model. Comput."},{"issue":"2","key":"5_CR13","doi-asserted-by":"publisher","first-page":"430","DOI":"10.1016\/j.jcss.2010.06.002","volume":"77","author":"W. Myrvold","year":"2011","unstructured":"Myrvold, W., Kocay, W.: Errors in graph embedding algorithms. J. Comput. Syst. Sci.\u00a077(2), 430\u2013438 (2011)","journal-title":"J. Comput. Syst. Sci."},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Niedermeier, R.: Invitation to Fixed-Parameter Algorithms. Oxford U. Press (2006)","DOI":"10.1093\/acprof:oso\/9780198566076.001.0001"},{"key":"5_CR15","unstructured":"Reingold, E.M., Nievergelt, J., Deo, N.: Combinatorial algorithms: Theory and practice. Prentice Hall (1977)"},{"issue":"4","key":"5_CR16","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1145\/1880022.1880034","volume":"13","author":"Q. Wang","year":"2010","unstructured":"Wang, Q., Li, N.: Satisfiability and resiliency in workflow authorization systems. ACM Trans. Inf. Syst. Secur.\u00a013(4), 40 (2010)","journal-title":"ACM Trans. Inf. Syst. Secur."}],"container-title":["Lecture Notes in Computer Science","Frontiers in Algorithmics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08016-1_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,13]],"date-time":"2023-07-13T16:00:31Z","timestamp":1689264031000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-08016-1_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319080154","9783319080161"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08016-1_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}