The Community for Technology Leaders
Green Image
INDEX TERMS
CITATION
"Corrections to 'Global Optimization for Satisfiability (SAT) Problem'", IEEE Transactions on Knowledge & Data Engineering, vol. 7, no. , pp. 192, February 1995, doi:10.1109/TKDE.1995.10000
99 ms
(Ver )