Improving CSE-F 1.0 Prover with Importance Measure Based Literal Selection Strategy | IEEE Conference Publication | IEEE Xplore