Average-case analysis of Robinson's unification algorithm with two different variables

被引：0
|
作者：
机构：
[1] Casas, R.
[2] Diaz, J.
[3] Steyaert, J.M.
来源：
Casas, R. | 1600年 / 31期
关键词：
Average-Case Analysis - Complexity of Algorithms - Unification Algorithm;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
(Edited Abstract)
引用
收藏
相关论文
共 50 条
  • [41] Average-case analysis of incremental topological ordering
    Ajwani, Deepak
    Friedrich, Tobias
    DISCRETE APPLIED MATHEMATICS, 2010, 158 (04) : 240 - 250
  • [42] Two bandwidth packing algorithms for the centralized wireless network and their average-case analysis
    Chen, Jian-Xin
    Gong, Ling
    Yang, Yu-Hang
    Zeng, Peng
    Journal of Shanghai Jiaotong University (Science), 2007, 12 E (03) : 397 - 404
  • [43] Average-Case Analysis of Some Plurality Algorithms
    Alonso, Laurent
    Reingold, Edward M.
    ACM TRANSACTIONS ON ALGORITHMS, 2009, 5 (02)
  • [44] AVERAGE-CASE ANALYSIS OF PERFECT SORTING BY REVERSALS
    Bouvel, Mathilde
    Chauve, Cedric
    Mishna, Marni
    Rossin, Dominique
    DISCRETE MATHEMATICS ALGORITHMS AND APPLICATIONS, 2011, 3 (03) : 369 - 392
  • [45] Average-case analysis of dynamic graph algorithms
    Alberts, D
    Henzinger, MR
    ALGORITHMICA, 1998, 20 (01) : 31 - 60
  • [46] Generating words lexicographically: An average-case analysis
    Kemp, R
    ACTA INFORMATICA, 1998, 35 (01) : 17 - 89
  • [47] Average-Case Analysis of Approximate Trie Search
    Moritz G. Maass
    Algorithmica, 2006, 46 : 469 - 491
  • [48] Average-Case Analysis of Greedy Packet Scheduling
    Zvi Lotker
    Boaz Patt-Shamir
    Theory of Computing Systems, 2002, 35 : 667 - 683
  • [49] Average-case analysis of numerical problems - Introduction
    Ritter, K
    AVERAGE-CASE ANALYSIS OF NUMERICAL PROBLEMS, 2000, 1733 : 1 - +
  • [50] Average-case performance analysis of a 2D strip packing algorithm - NFDH
    Gu, XD
    Chen, GL
    Xu, YL
    JOURNAL OF COMBINATORIAL OPTIMIZATION, 2005, 9 (01) : 14 - 34
12345