Artificial Intelligence
SAT for data encryption
Cryptography background
Data Encryption Standard
Aim of Paper
DES as a SAT problem
Results
Automated Discovery in Maths
Concept Formation
Production rules
Heuristic Score of Concepts
Expert level bridge play
Whats the problem?
Whats the solution?
GIB
Author: Ian Gent
E-mail: ipg@dcs.st-and.ac.uk
Download presentation