Making Deduction More Effective in SAT Solvers | IEEE Journals & Magazine | IEEE Xplore