Proof of the Erdos-Faudree Conjecture on Quadrilaterals.

Published in: Graphs Comb. (2010)

Keyphrases

data sets
linear logic
proof planning
artificial intelligence
digital libraries
theorem prover
theorem proving
genetic algorithm
objective function
search algorithm
special case
natural deduction
geometry theorem proving