An Algorithmic Proof of Tutte's f-Factor Theorem.

Richard P. Anstee

Published in: J. Algorithms (1985)

Keyphrases

interactive theorem proving
linear logic
factor analysis
machine learning
search algorithm
theorem prover
data sets
artificial intelligence
decision making
database
expert systems
special case
genetic algorithm
theorem proving
information retrieval
data mining
heavy traffic limit