Proofs of the Parisi and Coppersmith-Sorkin Conjectures for the Finite Random Assignment Problem.

Chandra Nair Balaji Prabhakar Mayank Sharma

Published in: FOCS (2003)

Keyphrases

theorem prover
equational theories
artificial intelligence
formal proofs
finite number
uniformly distributed
real numbers
website
np hard
randomly generated
theorem proving
mathematical proofs
randomly distributed
natural deduction
machine learning
multi agent
multiscale
information retrieval