Towards a splitter theorem for internally 4-connected binary matroids.

Carolyn Chun Dillon Mayhew James G. Oxley

Published in: J. Comb. Theory, Ser. B (2012)

Keyphrases

database
mobile robot
real world
expert systems
gray code
data sets
artificial intelligence
clustering algorithm
reinforcement learning
search space
connected components
binary tree
von neumann
logical operations
interactive theorem proving