共 50 条
- [4] A PROOF SYSTEM FOR GRAPH (NON)-ISOMORPHISM VERIFICATION Logical Methods in Computer Science, 2023, 19 (01):
- [5] EXPERIMENTAL VERIFICATION OF ISOMORPHISM HYPOTHESIS OF CRITICAL PHENOMENA ZHURNAL EKSPERIMENTALNOI I TEORETICHESKOI FIZIKI, 1972, 63 (12): : 2165 - 2179
- [7] New isomorphism identification method based on the adaptive approach to TSP Jixie Gongcheng Xuebao/Chinese Journal of Mechanical Engineering, 2001, 37 (10): : 45 - 46
- [9] A new verification method for vehicle electronics MEASURING AND TESTING TECHNIQUES IN THE VEHICLE INDUSTRY, 2001, 1616 : 297 - 316
- [10] A New Verification Method For Embedded Systems 2009 IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN, 2009, : 193 - +