| |
| 2008 | ||
|---|---|---|
| 3 | 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) |
| 2 | EE | Yury Chebiryak, Daniel Kroening: Towards a Classification of Hamiltonian Cycles in the 6-Cube. JSAT 4(1): 57-74 (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 | Daniel Kroening (Daniel Kröning) | [1] [2] [3] |
| 2 | Igor Zinovik | [1] [3] |