Solving the Workflow Satisfiability Problem using General Purpose Solvers

Daniel Karapetyan, Gregory Gutin

Research output: Contribution to journalArticlepeer-review

48 Downloads (Pure)
Original languageEnglish
Pages (from-to)1-12
Number of pages12
JournalIEEE Transactions on Dependable and Secure Computing
DOIs
Publication statusPublished - 7 Dec 2022

Cite this