Login / Signup
On the interplay between Babai and Černý's conjectures.
François Gonze
Vladimir V. Gusev
Balázs Gerencsér
Raphaël M. Jungers
Mikhail V. Volkov
Published in:
CoRR (2017)
Keyphrases
</>
theorem prover
database
inductive inference
multi dimensional
databases
machine learning
artificial intelligence
query processing
special case
genetic programming