Another Look at Automated Theorem-Proving. II.

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

Keyphrases

automated theorem proving
theorem prover
theorem proving
answer set programming
classical logic
inference rules
databases
data mining
website
image sequences
expert systems
dynamical systems