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:
DLT (2017)
Keyphrases
</>
theorem prover
inductive inference
database
data sets
feature selection
special case
multi dimensional