On interpolants and variable assignments.

Pavel Jancík Jan Kofron Simone Fulvio Rollini Natasha Sharygina

Published in: FMCAD (2014)

Keyphrases

neural network
search algorithm
elimination algorithm
real world
genetic algorithm
bayesian networks
lower bound
multiresolution
special case