Proof of the Razumov-Stroganov conjecture.

Luigi Cantini Andrea Sportiello

Published in: J. Comb. Theory, Ser. A (2011)

Keyphrases

provably correct
neural network
decision making
cooperative
databases
relational databases
multiresolution
probabilistic model
theorem prover
mathematical proofs