Logic Minimization Techniques with Applications to Cryptology.

Joan Boyar Philip Matthews René Peralta

Published in: J. Cryptol. (2013)

Keyphrases

modal logic
multi valued
predicate logic
logic programming
automated reasoning
geometric interpretation
asynchronous circuits
databases
data sets
real time
image restoration
probability theory
database
logic programs
probabilistic logic
epistemic logic
linear logic
efficient optimization