Login / Signup
Two proofs of the Bermond-Thomassen conjecture for tournaments with bounded minimum in-degree.
Stéphane Bessy
Nicolas Lichiardopol
Jean-Sébastien Sereni
Published in:
Discret. Math. (2010)
Keyphrases
</>
theorem proving
data sets
square error
data structure
databases
neural network
social networks
natural language
theorem prover
natural deduction