Dipartimento di Informatica, Universita di Torino, Turin, Italy;
Dipartimento di Informatica, Universita di Torino, Turin, Italy;
Dipartimento di Informatica, Universita di Torino, Turin, Italy;
Dipartimento di Informatica, Universita di Torino, Turin, Italy;
Iowa State University, Ames, USA;
Decision diagrams; Static variable ordering; Heuristic optimization; Saturation;
机译:使用遗传算法对Reed-Muller二元决策图进行变量排序
机译:基于二元决策图工具的安全时间Petri网状态空间搜索:在空中交通流量管理中的应用
机译:n界Petri网的代数分析中代数决策图的使用。
机译:Petri网的决策图:可变排序算法的比较
机译:将核心方案模型和活动图转换为Petri网。
机译:具有活动状态转移图的高阶Petri网模型的时变结构转换分析
机译:二进制决策图的变量排序试探法/算法比较
机译:proprietes de Comparaison stochastique dans les Graphes d'Evenements aleatoires(随机决策自由petri网的比较属性)