Skip to main content

Finding Lean Induced Cycles in Binary Hypercubes

Yury Chebiryak‚ Thomas Wahl‚ Daniel Kroening and Leopold Haller

Book Title
SAT
Pages
18−31
Year
2009