Ranking arithmetic proofs by implicit ramification.

Stephen J. Bellantoni

Published in: Proof Complexity and Feasible Arithmetics (1996)

Keyphrases

ranking algorithm
learning to rank
link analysis
decision trees
arithmetic operations
database
real time
data mining
web search
ranking functions
situation calculus
theorem prover
spam detection
formal proof