Initial Experiments with TPTP-style Automated Theorem Provers on ACL2 Problems.

Sebastiaan J. C. Joosten Cezary Kaliszyk Josef Urban

Published in: ACL2 (2014)

Keyphrases

np complete
data sets
multiscale
optimization problems
database
state space
application domains
problems involving
difficult problems
computer algebra