Login / Signup
Super-Polynomial Speed-Ups in Proof Length by New Tautologies.
Uwe Egly
Published in:
EPIA (1995)
Keyphrases
</>
lagrange interpolation
fixed length
parallel algorithm
theorem proving
database
data mining
decision making
clustering algorithm
natural deduction