共 6 条
- [1] TEST ROUTINES BASED ON SYMBOLIC LOGICAL STATEMENTS [J]. JOURNAL OF THE ACM, 1959, 6 (01) : 33 - 36
- [2] TECHNIQUES FOR DIAGNOSIS OF SWITCHING CIRCUIT FAILURES [J]. IEEE TRANSACTIONS ON COMMUNICATION AND ELECTRONICS, 1964, 83 (74): : 509 - &
- [3] MARTELLOTTO NA, UNPUBLISHED
- [4] MINIMIZATION OF BOOLEAN FUNCTIONS [J]. BELL SYSTEM TECHNICAL JOURNAL, 1956, 35 (06): : 1417 - 1444
- [5] POAGE JF, 1963 P S MATH THEOR, P483
- [6] ROTH J, TO BE PUBLISHED