Improving CSE-F 1.0 Prover with Importance Measure Based Literal Selection Strategy.

Guoyan Zeng, Yang Xu, Guanfeng Wu, Feng Cao

Browse the full ISKE paper archive.