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 条
  • [11] Average-case analysis of the merging algorithm of Hwang and Lin
    de la Vega, WF
    Frieze, AM
    Santha, M
    ALGORITHMICA, 1998, 22 (04) : 483 - 489
  • [12] AVERAGE-CASE ANALYSIS OF THE SMART NEXT FIT ALGORITHM
    RAMANAN, P
    INFORMATION PROCESSING LETTERS, 1989, 31 (05) : 221 - 225
  • [13] Average-case performance of the Apriori Algorithm
    Purdom, PW
    Van Gucht, D
    Groth, DP
    SIAM JOURNAL ON COMPUTING, 2004, 33 (05) : 1223 - 1260
  • [14] A new algorithm for Jordan sorting: its average-case analysis
    Sojka, E
    DISCRETE APPLIED MATHEMATICS, 1999, 93 (01) : 127 - 140
  • [15] Average-case and smoothed competitive analysis of the multilevel feedback algorithm
    Becchetti, L
    Leonardi, S
    Marchetti-Spaccamela, A
    Schäfer, G
    Vredeveld, T
    MATHEMATICS OF OPERATIONS RESEARCH, 2006, 31 (01) : 85 - 108
  • [16] Average-case analysis of a greedy algorithm for the 0/1 knapsack problem
    Calvin, JM
    Leung, JYT
    OPERATIONS RESEARCH LETTERS, 2003, 31 (03) : 202 - 210
  • [17] Distritrack: Automated average-case analysis
    Hickey, David
    FOURTH INTERNATIONAL CONFERENCE ON THE QUANTITATIVE EVALUATION OF SYSTEMS, 2007, : 213 - 214
  • [18] Average-case analysis of multiple Quickselect: An algorithm for finding order statistics
    Lent, J
    Mahmoud, HM
    STATISTICS & PROBABILITY LETTERS, 1996, 28 (04) : 299 - 310
  • [19] AUTOMATIC AVERAGE-CASE ANALYSIS OF ALGORITHMS
    FLAJOLET, P
    SALVY, B
    ZIMMERMANN, P
    THEORETICAL COMPUTER SCIENCE, 1991, 79 (01) : 37 - 109
  • [20] An average-case analysis of graph search
    Sen, AK
    Bagchi, A
    Zhang, WX
    EIGHTEENTH NATIONAL CONFERENCE ON ARTIFICIAL INTELLIGENCE (AAAI-02)/FOURTEENTH INNOVATIVE APPLICATIONS OF ARTIFICIAL INTELLIGENCE CONFERENCE (IAAI-02), PROCEEDINGS, 2002, : 757 - 762
12345