A Proof of Simmons' Conjecture.

Tor Helleseth Johannes Mykkeltveit

Published in: Des. Codes Cryptogr. (2004)

Keyphrases

linear logic
databases
case study
multiscale
theorem prover
mathematical proofs
database
real time
neural network
data mining
genetic algorithm
preprocessing
knowledge representation
theorem proving
proof search