...
机译:Proof Pearl:纯功能,简单高效的优先搜索树及其在Prim和Dijkstra中的应用
Priority queueDijkstra's algorithmPrim's algorithmverificationIsabelle;
机译:Prim-Dijkstra权衡以改进性能驱动的路由树设计
机译:动态单调优先级搜索树(DMoPST):一种新型的高效二维空间索引方案,具有最佳更新时间
机译:基于改进的Dijkstra搜索的高通量和高效区域MIMO符号检测
机译:Proof Pearl:Dijkstra的最短路径算法经过ACL2验证
机译:随机搜索树上的加法功能。
机译:朝着蒙特卡罗树搜索和加固学习有效发现绿色综合途径
机译:证明珍珠:Dijkstra的最短路径算法已通过ACL2验证
机译:更简单的证明和零树定理的推广