Finding Lean Induced Cycles in Binary Hypercubes.

Yury Chebiryak Thomas Wahl Daniel Kroening Leopold Haller

Published in: SAT (2009)

Keyphrases

data structure
multiresolution
np hard
social networks
multi agent
mobile robot