LIU Xin, XIONG You-lun. Enhancing SAT-Based Test Pattern Generation[J]. Journal of Electronic Science and Technology, 2005, 3(2): 134-139.
            
            
                
                    | 
                        
                            Citation:
                        
                     | 
                    
                        LIU Xin, XIONG You-lun. Enhancing SAT-Based Test Pattern Generation[J]. Journal of Electronic Science and Technology, 2005, 3(2): 134-139.
                        
                     | 
                
            
         
        
            
                LIU Xin, XIONG You-lun. Enhancing SAT-Based Test Pattern Generation[J]. Journal of Electronic Science and Technology, 2005, 3(2): 134-139.
            
            
                
                    | 
                        
                            Citation:
                        
                     | 
                    
                        LIU Xin, XIONG You-lun. Enhancing SAT-Based Test Pattern Generation[J]. Journal of Electronic Science and Technology, 2005, 3(2): 134-139.
                        
                     |