...
机译:基于模式的工作流程满足性问题与用户无关的约束
Univ Essex Inst Analyt &
Data Sci Colchester CO4 3SQ Essex England;
Univ Nottingham Sch Comp Sci Nottingham NG8 1BB England;
Royal Holloway Univ London Dept Comp Sci Egham TW20 0EX Surrey England;
Cardiff Univ Sch Math Cardiff CF10 3AT S Glam Wales;
机译:基于模式的工作流程满足性问题与用户无关的约束
机译:等级组织中具有类无关约束的工作流可满足性问题
机译:设计用于计算约束的工作流可满足性问题的算法
机译:具有用户独立约束的工作流可满足性问题的模式回溯算法
机译:分析所选约束系统中的可靠性和压力
机译:邻接和瘫痪约束:可靠性和一致性
机译:具有用户独立约束的工作流可满足性问题的模式回溯算法
机译:传递约束的布尔可满足性