This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Corrections to 'Global Optimization for Satisfiability (SAT) Problem'
February 1995 (vol. 7 no. 1)
pp. 192
Citation:
"Corrections to 'Global Optimization for Satisfiability (SAT) Problem'," IEEE Transactions on Knowledge and Data Engineering, vol. 7, no. 1, pp. 192, Feb. 1995, doi:10.1109/TKDE.1995.10000
Usage of this product signifies your acceptance of the Terms of Use.