Login / Signup
A Cryptosystem Based on Propositional Logic.
Jarkko Kari
Published in:
IMYCS (1988)
Keyphrases
</>
propositional logic
cellular automata
first order logic
belief revision
elliptic curve
lattice theory
quantified boolean formulae
davis putnam
possibilistic logic
proof procedure
horn logic
truth maintenance systems
propositional satisfiability
belief change
fuzzy logic
valued logic
optimal solution