共 10 条
- [1] A NEW TYPE OF COMPUTER FOR PROBLEMS IN PROPOSITIONAL LOGIC, WITH GREATLY REDUCED SCANNING PROCEDURES [J]. INFORMATION AND CONTROL, 1961, 4 (2-3): : 155 - &
- [2] ELDESSOUKI OI, 1980, IEEE T COMPUT, V29, P818, DOI 10.1109/TC.1980.1675681
- [3] EFFICIENT GRAPH AUTOMORPHISM BY VERTEX PARTITIONING [J]. ARTIFICIAL INTELLIGENCE, 1983, 21 (1-2) : 245 - 269
- [7] REEVES AP, 1980, IEEE T COMPUT, V29, P278, DOI 10.1109/TC.1980.1675566
- [8] TIMETABLE-CONSTRUCTION - AN ANNOTATED-BIBLIOGRAPHY [J]. COMPUTER JOURNAL, 1980, 23 (04) : 307 - 316
- [10] TANAKA M, 1981, IEEE T COMPUT, V30, P229, DOI 10.1109/TC.1981.1675760