Efficient Generation of Small Interpolants in CNF.

Yakir Vizel Vadim Ryvchin Alexander Nadel

Published in: CAV (2013)

Keyphrases

real world
database
relational databases
small number
real time
databases
objective function
artificial neural networks
orders of magnitude
highly efficient