Chess Endgame Compression via Logic Minimization.
Dave GombocChristian R. SheltonPublished in: ACG (2021)
Keyphrases
- evaluation function
- logic programming
- artificial intelligence
- data compression
- compression algorithm
- objective function
- minimax search
- computer chess
- image compression
- modal logic
- compression ratio
- compression scheme
- deontic logic
- alpha beta search
- two player games
- linear logic
- computational properties
- automated reasoning
- level set
- computational complexity
- multi agent systems
- image segmentation