Efficient generation of small interpolants in CNF.

Yakir Vizel Alexander Nadel Vadim Ryvchin

Published in: Formal Methods Syst. Des. (2015)

Keyphrases

genetic algorithm
cost effective
neural network
website
relational databases
small number
computationally expensive