The Proofs of Two Directed Paths Conjectures of Bollobás and Leader.

Published in: Comb. Probab. Comput. (2017)

Keyphrases

theorem prover
shortest path
theorem proving
genetic algorithm
machine learning
proof search
decision trees
mobile robot
first order logic
inference rules
metadata
information retrieval
inductive inference
optimal path
path finding
natural deduction
databases
formal proof
leader follower
equational theories