A Combinatorial Proof of the Recurrence for Rook Paths.

Emma Yu Jin Markus E. Nebel

Published in: Electron. J. Comb. (2012)

Keyphrases

shortest path
evaluation function
theorem proving
optimal path
automated theorem proving
data sets
database systems
natural language
dynamic environments
natural deduction
proof theory