Login / Signup

Short proof of two cases of Chvátal's conjecture.

Jorge Alberto OlarteFrancisco SantosJonathan Spreer
Published in: Discret. Math. (2019)
Keyphrases
  • strictly convex
  • theorem prover
  • real world
  • information systems
  • linear logic
  • neural network
  • genetic algorithm
  • computer vision
  • knowledge base
  • multiscale
  • lower bound
  • case based reasoning
  • case base