Interger linear programming; Model checking; Causality; Concurrency; Petri nets; Unfolding; Deadlock detection; Linear constraints; Algorithms; Parallelization;
机译:使用语义依赖项修剪外部最小性检查答案设置程序
机译:检查间隔线性规划中的弱优化性和强烈的界限
机译:改进的线性编程方法,用于检查以避免确定损失
机译:使用部分顺序相关性的LP死锁检查
机译:用于最小承诺部分订单计划的混合整数线性规划模型。
机译:基于线性规划的多核和部分网络的蛋白质相互作用预测
机译:使用部分顺序相关性的LP死锁检查
机译:检查分布式流程序中的循环依赖关系