Solving the Workflow Satisfiability Problem using General Purpose Solvers

Research output: Contribution to journal › Article › peer-review

83 Downloads (Pure)

Original language	English
Pages (from-to)	1-12
Number of pages	12
Journal	IEEE Transactions on Dependable and Secure Computing
DOIs	https://doi.org/10.1109/TDSC.2022.3227241
Publication status	Published - 7 Dec 2022

Access to Document

@article{ac1af72b751b4c0aafd357fc5359b8f2,

title = "Solving the Workflow Satisfiability Problem using General Purpose Solvers",

author = "Daniel Karapetyan and Gregory Gutin",

year = "2022",

month = dec,

day = "7",

doi = "10.1109/TDSC.2022.3227241",

language = "English",

pages = "1--12",

journal = "IEEE Transactions on Dependable and Secure Computing",

issn = "1545-5971",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

}

TY - JOUR

T1 - Solving the Workflow Satisfiability Problem using General Purpose Solvers

AU - Karapetyan, Daniel

AU - Gutin, Gregory

PY - 2022/12/7

Y1 - 2022/12/7

U2 - 10.1109/TDSC.2022.3227241

DO - 10.1109/TDSC.2022.3227241

M3 - Article

SN - 1545-5971

SP - 1

EP - 12

JO - IEEE Transactions on Dependable and Secure Computing

JF - IEEE Transactions on Dependable and Secure Computing

ER -