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

Fri, 01 Jan 2021 00:00:00 +0100

Guoyan Zeng, Yang Xu, Guanfeng Wu, Feng Cao:
Improving CSE-F 1.0 Prover with Importance Measure Based Literal Selection Strategy. ISKE 2021: 47-51