LANGUAGE AND A PROGRAM FOR STATING AND SOLVING COMBINATORIAL PROBLEMS

被引:107
作者
LAURIERE, JL
机构
关键词
D O I
10.1016/0004-3702(78)90029-2
中图分类号
TP18 [人工智能理论];
学科分类号
081104 ; 0812 ; 0835 ; 1405 ;
摘要
引用
收藏
页码:29 / 127
页数:99
相关论文
共 77 条
  • [11] CORNEIL DG, 1973, SIAM J COMPUT, V2
  • [12] EASTMAN CM, 1973, ARTIFICIAL INTELLIGE, V4
  • [13] PATHS TREES AND FLOWERS
    EDMONDS, J
    [J]. CANADIAN JOURNAL OF MATHEMATICS, 1965, 17 (03): : 449 - &
  • [14] FAHLMAN SE, 1974, ARTIF INTELL, V5, P1, DOI 10.1016/0004-3702(74)90008-3
  • [15] FAURE R, 1963, REV GESTION, V3, P48
  • [16] LEARNING AND EXECUTING GENERALIZED ROBOT PLANS
    FIKES, RE
    HART, PE
    NILSSON, NJ
    [J]. ARTIFICIAL INTELLIGENCE, 1972, 3 (02) : 251 - 288
  • [17] FIKES RE, 1968, THESIS CARNEGIE MELL
  • [18] NONDETERMINISTIC ALGORITHMS
    FLOYD, RW
    [J]. JOURNAL OF THE ACM, 1967, 14 (04) : 636 - &
  • [19] Forcade R., 1973, J COMB THEORY B, V14, P153
  • [20] Gardner M., 1975, SCI AM