Proof Pearl : Playing with the Tower of Hanoi Formally.

Published in: ITP (2021)

Keyphrases

theorem proving
game playing
artificial intelligence
causal models
conditional independence
proof planning
data sets
genetic algorithm
case study
multiscale
belief revision
automated theorem proving