Invariants for finite instances and beyond.

Sylvain Conchon Amit Goel Sava Krstic Alain Mebsout Fatiha Zaïdi

Published in: FMCAD (2013)

Keyphrases

finite number
affine invariant
randomly generated
neural network
lower and upper bounds
machine learning
genetic algorithm
information systems
similarity measure
lower bound
relational databases
instance selection