Indistinguishability and Unpredictability Hardcore Lemmas: New Proofs with Applications to Pseudoentropy.
Maciej SkorskiPublished in: SOFSEM (Student Research Forum Papers / Posters) (2015)
Keyphrases
- theorem prover
- theorem proving
- proof search
- automated theorem proving
- first order logic
- inference rules
- natural deduction
- mathematical proofs
- database views
- linear logic
- formal proof
- proof procedure
- equivalence relation
- decision procedures
- formal proofs
- t norm
- real world
- multi agent
- computer vision
- social networks
- learning algorithm