Login / Signup

Proof of Stahl's conjecture in some new cases.

József Osztényi
Published in: Discret. Appl. Math. (2020)
Keyphrases
  • case base
  • neural network
  • search engine
  • probabilistic model
  • automated theorem proving