...
机译:设计用于计算约束的工作流可满足性问题的算法
Workflow satisfiability problem (WSP); Fixed-parameter tractability (FPT); Algorithm engineering; Reduction to the pseudo-Boolean SAT problem; User-independent constraints;
机译:设计用于计算约束的工作流可满足性问题的算法
机译:基于模式的工作流程可满足性问题与用户无关的约束
机译:等级组织中具有类无关约束的工作流可满足性问题
机译:具有用户独立约束的工作流可满足性问题的工程算法
机译:使用布尔可满足性进行逻辑综合和验证的算法和数据结构。
机译:线性规划研究随机可满足性问题的典型算法复杂度的相变
机译:设计用于计算约束的工作流可满足性问题的算法