Yury Chebiryak

Towards a Classification of Hamiltonian Cycles in the 6-Cube

Daniel Kroening, Yury Chebiryak, D. Kroening, 2008, Journal on Satisfiability, Boolean Modeling and Computation.

Periodic Orbits and Equilibria in Glass Models for Gene Regulatory Networks

Daniel Kroening, Igor Zinovik, Yury Chebiryak, 2010, IEEE Transactions on Information Theory.

Finding Lean Induced Cycles in Binary Hypercubes

Daniel Kroening, Yury Chebiryak, Thomas Wahl, 2009, SAT.

An efficient SAT encoding of circuit codes

D. Kroening, D. Kroening, Y. Chebiryak, 2008, 2008 International Symposium on Information Theory and Its Applications.

Lean Induced Cycles or Robust Cyclic Attractors

Daniel Kroening, Igor Zinovik, Yury Chebiryak, 2008 .

Computing Binary Combinatorial Gray Codes Via Exhaustive Search With SAT Solvers

Daniel Kroening, Igor Zinovik, Yury Chebiryak, 2008, IEEE Transactions on Information Theory.

An Algebraic Algorithm for the Identification of Glass Networks with Periodic Orbits Along Cyclic Attractors

Daniel Kroening, Igor Zinovik, Yury Chebiryak, 2007, AB.