Nonuniform Indistinguishability and Unpredictability Hardcore Lemmas: New Proofs and Applications to Pseudoentropy.
Maciej SkorskiPublished in: ICITS (2015)
Keyphrases
- theorem prover
- theorem proving
- proof search
- automated theorem proving
- inference rules
- natural deduction
- first order logic
- decision procedures
- formal proof
- database views
- search algorithm
- mathematical knowledge
- encryption scheme
- evolutionary algorithm
- proof procedure
- artificial neural networks
- image sequences
- real world
- data sets
- real time