Proofs of Restricted Shuffles.

Björn Terelius Douglas Wikström

Published in: AFRICACRYPT (2010)

Keyphrases

theorem prover
theorem proving
steel industry
formal proofs
data sets
artificial intelligence
multimedia
formal proof
machine learning
long term
mobile robot
programming language
decision procedures
mathematical proofs