首页> 外文OA文献 >Pattern Backtracking Algorithm for the Workflow Satisfiability Problem with User-Independent Constraints

【2h】

Pattern Backtracking Algorithm for the Workflow Satisfiability Problem with User-Independent Constraints

机译：具有用户独立约束的工作流可满足性问题的模式回溯算法

页面导航

著录项
相似文献
相关主题

著录项

作者
Karapetyan Daniel; Gagarin Andrei; Gutin Gregory;
展开▼
作者单位

展开▼
年度 2015
总页数
原文格式 PDF
正文语种 eng
中图分类

相似文献

外文文献
中文文献
专利

1. Pattern-Based Approach to the Workflow Satisfiability Problem with User-Independent Constraints [J] . Karapetyan Daniel, Parkes Andrew J., Gutin Gregory, The Journal of Artificial Intelligence Research . 2019,第期

机译：基于模式的工作流程满足性问题与用户无关的约束
2. Pattern-Based Approach to the Workflow Satisfiability Problem with User-Independent Constraints [J] . Daniel Karapetyan, Andrew J. Parkes, Gregory Gutin, The Journal of Artificial Intelligence Research . 2019,第7期

机译：基于模式的工作流程可满足性问题与用户无关的约束
3. Algorithms for the workflow satisfiability problem engineered for counting constraints [J] . Cohen D., Crampton J., Gagarin A., Journal of combinatorial optimization . 2016,第1期

机译：设计用于计算约束的工作流可满足性问题的算法
4. Pattern Backtracking Algorithm for the Workflow Satisfiability Problem with User-Independent Constraints [C] . Daniel Karapetyan, Andrei Gagarin, Gregory Gutin International frontiers in algorithmics workshop . 2015

机译：具有用户独立约束的工作流可满足性问题的模式回溯算法
5. Testing the satisfiability of tree pattern queries with node identity constraints. [D] . Gobbert, Barbara Jane. 2007

机译：使用节点身份约束来测试树模式查询的可满足性。
6. Phase transitions of the typical algorithmic complexity of the random satisfiability problem studied with linear programming [O] . Hendrik Schawe, Roman Bleim, Alexander K. Hartmann 2012

机译：线性规划研究随机可满足性问题的典型算法复杂度的相变
7. Pattern backtracking algorithm for the workflow satisfiability problem with user-independent constraints [O] . Karapetyan, Daniel, Gagarin, Andrei, Gutin, Gregory 2015

机译：具有用户独立约束的工作流可满足性问题的模式回溯算法
8. SLPMiner: An Algorithm for Finding Frequent Sequential Patterns Using Length-Decreasing Support Constraint [R] . Seno, M. , Karypis, G. 2002

机译：sLpminer：一种利用长度减小支持约束寻找频繁序列模式的算法

Pattern Backtracking Algorithm for the Workflow Satisfiability Problem with User-Independent Constraints

著录项

相似文献

相关主题

期刊订阅