Login / Signup
Two short proofs on total domination.
Allan Bickle
Published in:
Discuss. Math. Graph Theory (2013)
Keyphrases
</>
neural network
machine learning
information systems
mobile robot
theorem prover
data sets
social networks
metadata
evolutionary algorithm
probabilistic model
knowledge representation
theorem proving
travel distance
formal proofs