Sign in
Proofs of the AutoGraphiX conjectures on the domination number, average eccentricity and proximity.
Li-Dan Pei
Xiangfeng Pan
Kun Wang
Jing Tian
Published in:
Discret. Appl. Math. (2021)
Keyphrases
</>
data sets
theorem prover
databases
computational complexity
small number
learning algorithm
growth rate
database
real time
feature selection
multiscale
data structure
computational effort