A new proof of Parisi's conjecture for the finite random assignment problem.

Chandra Nair Balaji Prabhakar Mayank Sharma

Published in: ISIT (2004)

Keyphrases

randomly generated
finite number
complete axiomatization
information systems
np hard
data sets
real world
artificial intelligence
computer vision
state space
theorem prover
theorem proving
proof theory