A Commitment-Consistent Proof of a Shuffle.

Douglas Wikström

Published in: IACR Cryptol. ePrint Arch. (2011)

Keyphrases

theorem prover
genetic algorithm
theorem proving
linear logic
learning algorithm
computer vision
information systems
decision making
multi agent
probabilistic model
globally optimal
consistency constraints
proof planning