Login / Signup
Another short proof of the Joni-Rota-Godsil integral formula for counting bipartite matchings.
Erin E. Emerson
Peter Mark Kayll
Published in:
Contributions Discret. Math. (2009)
Keyphrases
</>
real valued
theorem proving
bipartite graph
theorem prover
real world
data mining
machine learning
genetic algorithm
case study
first order logic
linear logic
maximum cardinality