共 50 条
- [21] Minimization of Incompletely Specified Finite State Machines Based on Distinction Graphs LATW: 2009 10TH LATIN AMERICAN TEST WORKSHOP, 2009, : 55 - 60
- [24] MEMIN: SAT-based Exact Minimization of Incompletely Specified Mealy Machines 2015 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2015, : 94 - 101
- [25] BOOLEAN MINIMIZATION AND ALGEBRAIC FACTORIZATION PROCEDURES FOR FULLY TESTABLE SEQUENTIAL-MACHINES 1989 IEEE INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN: DIGEST OF TECHNICAL PAPERS, 1989, : 208 - 211
- [26] MINIMIZATION OF INCOMPLETELY SPECIFIED FUZZY FUNCTIONS INFORMATION AND CONTROL, 1974, 26 (02): : 141 - 153
- [29] GAMES BETWEEN SEQUENTIAL-MACHINES COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1987, 6 (01): : 81 - 93