A proof to the odd-gracefulness of all lobsters.

Xiangqian Zhou Bing Yao Xiangen Chen Haixia Tao

Published in: Ars Comb. (2012)

Keyphrases

theorem proving
theorem prover
information retrieval
database
learning algorithm
feature selection
multiscale
information technology
multiresolution
special case
fixed number
proof planning