Automatic Proofs for Formulae Enumerating Proper Polycubes.

Gill Barequet Mira Shalah

Published in: SoCG (2015)

Keyphrases

real time
theorem proving
semi automatic
genetic algorithm
data driven
fully automatic
information retrieval
multi agent
relational databases
multiresolution