Login / Signup

On the Interplay Between Černý and Babai's Conjectures.

François GonzeVladimir V. GusevRaphaël M. JungersBalázs GerencsérMikhail V. Volkov
Published in: Int. J. Found. Comput. Sci. (2019)
Keyphrases
  • theorem prover
  • artificial intelligence
  • software engineering
  • data sets
  • feature selection
  • data structure
  • case based reasoning
  • first order logic
  • inductive inference