An Algebraic Algorithm for the Identification of Glass Networks with Periodic Orbits Along Cyclic Attractors. - Igor Zinovik; Daniel Kroening; Yury Chebiryak (AB, 2007)

Towards a Classification of Hamiltonian Cycles in the 6-Cube. - Yury Chebiryak; Daniel Kroening (J. Satisf. Boolean Model. Comput., 2008)

Computing Binary Combinatorial Gray Codes Via Exhaustive Search With SAT Solvers. - Igor Zinovik; Daniel Kroening; Yury Chebiryak (IEEE Trans. Inf. Theory, 2008)

Finding Lean Induced Cycles in Binary Hypercubes. - Yury Chebiryak; Thomas Wahl; Daniel Kroening; Leopold Haller (SAT, 2009)

Periodic orbits and equilibria in glass models for gene regulatory networks. - Igor Zinovik; Yury Chebiryak; Daniel Kroening (IEEE Trans. Inf. Theory, 2010)