Automatic Proofs for Formulae Enumerating Proper Polycubes.

Gill Barequet Mira Shalah

Published in: Electron. Notes Discret. Math. (2015)

Keyphrases

fully automatic
semi automatic
neural network
real world
machine learning
high level
reinforcement learning
database
real time
multi agent
preprocessing
special case
data driven