Finding Lean Induced Cycles in Binary Hypercubes.

Yury Chebiryak, Thomas Wahl, Daniel Kroening, Leopold Haller

Browse the full SAT paper archive.