The Community for Technology Leaders
Green Image
INDEX TERMS
CITATION

"Corrections to 'Global Optimization for Satisfiability (SAT) Problem'," in IEEE Transactions on Knowledge & Data Engineering, vol. 7, no. , pp. 192, 1995.
doi:10.1109/TKDE.1995.10000
78 ms
(Ver 3.3 (11022016))