Artificial Intelligence


Click here to start

Table of contents

Artificial Intelligence

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

Results

Expert level bridge play

Expert level bridge play

What’s the problem?

What’s the solution?

GIB

Author: Ian Gent

E-mail: ipg@dcs.st-and.ac.uk

Download presentation