共 18 条
- [1] [Anonymous], 1993, FDN CONSTRAINT SATIS
- [2] Borning A., 1989, P 6 INT C LOG PROGR, P149
- [3] David P, 1998, LECT NOTES COMPUT SC, V1408, P169, DOI 10.1007/BFb0055888
- [4] de Givry S, 1997, LECT NOTES COMPUT SC, V1330, P405, DOI 10.1007/BFb0017456
- [5] FREUDER EC, ARTIFICIAL INTELLIGE, V58, P21
- [6] Glover F., 1989, ORSA Journal on Computing, V1, P190, DOI [10.1287/ijoc.2.1.4, 10.1287/ijoc.1.3.190]
- [7] Jussien N, 1997, LOGIC PROGRAMM, P339
- [8] JUSSIEN N, 1996, LNCS, V1106, P265