This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Optimal Test Generation in Combinational Networks by Pseudo-Boolean Programming
June 1977 (vol. 26 no. 6)
pp. 553-560
S.G. Papaioannou, College of Engineering, Boston University
The problem of generating tests for the detection or location of permanent logical faults in combinational networks is formulated as a finite sequence of maximization problems in which the maximizing vertices are the desired tests. The formulation is based on the concept of real transform of a Boolean function, while maximization is achieved by pseudo-Boolean PB programming.
Index Terms:
Boolean difference, combinational networks, fault detection, fault location, pseudo-Boolean programming.
Citation:
S.G. Papaioannou, "Optimal Test Generation in Combinational Networks by Pseudo-Boolean Programming," IEEE Transactions on Computers, vol. 26, no. 6, pp. 553-560, June 1977, doi:10.1109/TC.1977.1674880
Usage of this product signifies your acceptance of the Terms of Use.