排序方式: 共有5条查询结果,搜索用时 15 毫秒
1
1.
2.
3.
文中提出了Datalog程序的正规变换,并构造了Datalog程序的约束模型图,从而把正规变换的求解转化为对约束模式图的搜索。约束模式图搜索算法与经典的AO^*搜索算法及相关文献中的算法相比具有更高的效率。 相似文献
4.
5.
1