| |
| 2008 | ||
|---|---|---|
| 2 | EE | Igor Zinovik, Daniel Kroening, Yury Chebiryak: Computing Binary Combinatorial Gray Codes Via Exhaustive Search With SAT Solvers. IEEE Transactions on Information Theory 54(4): 1819-1823 (2008) |
| 2007 | ||
| 1 | EE | Igor Zinovik, Daniel Kroening, Yury Chebiryak: An Algebraic Algorithm for the Identification of Glass Networks with Periodic Orbits Along Cyclic Attractors. AB 2007: 140-154 |
| 1 | Yury Chebiryak | [1] [2] |
| 2 | Daniel Kroening (Daniel Kröning) | [1] [2] |