automated reasoning; algorithm synthesis; lists; binary trees; multisets; Theorema;
机译:使用改进的插入删除对在二叉搜索树上进行插入和删除的实证研究
机译:RDVBT:用于网格中资源发现的资源距离矢量二叉树算法
机译:一种数据驱动方法,用于通过最佳振动信号通过最佳初始算法和功能树算法使用振动信号的调节方法:比较研究
机译:从证明中发现算法的案例研究:使用多集的列表和二叉树的删除功能
机译:并行图算法的设计和实现,用于最小生成树,列表排序和树的根查找。
机译:遗传算法和二叉树预测医疗人员的计算机视觉综合症
机译:从证明中发现算法的案例研究:二叉树上的插入函数