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

Guoyan Zeng Yang Xu Guanfeng Wu Feng Cao

Published in: ISKE (2021)

Keyphrases

selection strategy
selection strategies
selection algorithm
similarity measure
theorem proving
distance measure
mutation operation
genetic algorithm
data sets
heuristic search
cauchy mutation
clonal selection algorithm
theorem prover
artificial neural networks
training data
machine learning
neural network