Login / Signup

proof of a Packing Conjecture of Bollobás.

János KomlósGábor N. SárközyEndre Szemerédi
Published in: Comb. Probab. Comput. (1995)
Keyphrases
  • mathematical proofs
  • theorem prover
  • packing problem
  • neural network
  • artificial intelligence
  • database systems
  • special case
  • theorem proving
  • automated theorem proving
  • proof search