Gregory Z. Gutin, Daniel Karapetyan. Constraint Branching in Workflow Satisfiability Problem. In Jorge Lobo 0001, Scott D. Stoller, Peng Liu 0005, editors, Proceedings of the 25th ACM Symposium on Access Control Models and Technologies, SACMAT 2020, Barcelona, Spain, June 10-12, 2020. pages 93-103, ACM, 2020. [doi]
@inproceedings{GutinK20,
title = {Constraint Branching in Workflow Satisfiability Problem},
author = {Gregory Z. Gutin and Daniel Karapetyan},
year = {2020},
doi = {10.1145/3381991.3395600},
url = {https://doi.org/10.1145/3381991.3395600},
researchr = {https://researchr.org/publication/GutinK20},
cites = {0},
citedby = {0},
pages = {93-103},
booktitle = {Proceedings of the 25th ACM Symposium on Access Control Models and Technologies, SACMAT 2020, Barcelona, Spain, June 10-12, 2020},
editor = {Jorge Lobo 0001 and Scott D. Stoller and Peng Liu 0005},
publisher = {ACM},
isbn = {978-1-4503-7568-9},
}