共 8 条
[1]
BISDORFF R, 1992, 1ST INT C PRACT APPL
[2]
BISDORFF R, 1992, 10TH P INT C LOG PRO
[4]
COLMERAUER A, 1987, BYTE MAGAZINE AUG
[5]
SOLVING LARGE COMBINATORIAL PROBLEMS IN LOGIC PROGRAMMING
[J].
JOURNAL OF LOGIC PROGRAMMING,
1990, 8 (1-2)
:75-93
[6]
DINCBAS M, 1988, 5TH P INT C GEN COMP, P693
[7]
DINCBAS M, 1988, 1ST P INT C IND ENG
[8]
JAFFAR L, 1987, C PRINCIPLES PROGRAM