MPI; OpenMP; finite automata; nondeterminisitc automata; parallelism; state minimization;
机译:再一次关于不确定性有限自动机的边缘最小化及相关问题
机译:具有一个有界反转计数器的双向不确定自动机
机译:关于不确定自动机的并行归纳
机译:非术语有限自动机的状态最小化问题:截断分支和绑定方法的平行实现
机译:截断不完整的Hessian Newton最小化方法的分析及其在生物分子模拟中的应用。
机译:基于后向深度信息的有效确定性有限自动机最小化
机译:分支和绑定方法的组合算法的并行实现
机译:从最小化设备支出的角度编码有限自动机状态的方法,