Motivation Hypercubes! Lean Induced Cycles Propositional SAT Encoding Conclusion Details Lean Induced Cycles or Robust Cyclic Attractors Yury Chebiryak 1 Daniel Kroening 2 Thomas Wahl 2 Igor Zinovik 3 1 Computer Systems Institute, ETH Zurich, Switzerland 2 Computing Laboratory, Oxford University, UK 3 LTNT Laboratory of Thermodynamics in Emerging Technologies, ETH Zurich 7-th Australia – New Zealand Mathematics Convention, Christchirch, New Zealand, 2008. This research was supported in part by an award from IBM Research and by ETH Research Grant TH-19 06-3. (c) 2008