Revitalized Automatic Proofs: Demonstrations.

Tewodros Amdeberhan David Callan Hideyuki Ohtsuka Roberto Tauraso

Published in: Integers (2017)

Keyphrases

semi automatic
fully automatic
high level
decision procedures
data sets
data mining
social networks
case study
multiscale
evolutionary algorithm
logic programs
labor intensive