Pages that link to "Item:Q3452559"
From MaRDI portal
The following pages link to Pattern Backtracking Algorithm for the Workflow Satisfiability Problem with User-Independent Constraints (Q3452559):
Displayed 5 items.
- Algorithms for the workflow satisfiability problem engineered for counting constraints (Q328681) (← links)
- Tight lower bounds for the workflow satisfiability problem based on the strong exponential time hypothesis (Q903190) (← 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)