Pages that link to "Item:Q3188832"
From MaRDI portal
The following pages link to Engineering Algorithms for Workflow Satisfiability Problem with User-Independent Constraints (Q3188832):
Displayed 5 items.
- Polynomial kernels and user reductions for the workflow satisfiability problem (Q309799) (← links)
- Algorithms for the workflow satisfiability problem engineered for counting constraints (Q328681) (← links)
- On the satisfiability of authorization requirements in business process (Q1712553) (← links)
- Pattern Backtracking Algorithm for the Workflow Satisfiability Problem with User-Independent Constraints (Q3452559) (← links)
- Parameterized Complexity of the Workflow Satisfiability Problem (Q4689628) (← links)