Periodic orbits and equilibria in glass models for gene regulatory networks. by Zinovik, I, Chebiryak, Y, Kroening, D

Computing Binary Combinatorial Gray Codes Via Exhaustive Search With SAT Solvers. by Zinovik, I, Kroening, D, Chebiryak, Y

An Algebraic Algorithm for the Identification of Glass Networks with Periodic Orbits along Cyclic Attractors by Zinovik, I, Kroening, D, Chebiryak, Y

Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT−Solvers by Zinovik, I, Kroening, D, Chebiryak, Y