Choosability conjectures and multicircuits.

Alexandr V. Kostochka Douglas R. Woodall

Published in: Discret. Math. (2001)

Keyphrases

theorem prover
artificial intelligence
multi agent
special case
least squares
genetic programming
inductive inference