| 2009 | ||
|---|---|---|
| 4 | Yury Chebiryak, Thomas Wahl, Daniel Kroening, Leopold Haller: Finding Lean Induced Cycles in Binary Hypercubes. SAT 2009: 18-31 | |
| 2008 | ||
| 3 | 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 | Yury Chebiryak, Daniel Kroening: Towards a Classification of Hamiltonian Cycles in the 6-Cube. JSAT 4(1): 57-74 (2008) | |
| 2007 | ||
| 1 | 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 | Leopold Haller | [4] |
| 2 | Daniel Kroening (Daniel Kröning) | [1] [2] [3] [4] |
| 3 | Thomas Wahl | [4] |
| 4 | Igor Zinovik | [1] [3] |