Tracks from hell - when finding a proof may be easier than checking it.

Matteo Almanza Stefano Leucci Alessandro Panconesi

Published in: FUN (2018)

Keyphrases

theorem prover
artificial intelligence
evolutionary algorithm
theorem proving
real time
data sets
databases
image processing
case study
multiscale