 | 2010 |
|---|
| 5 |       | Igor Zinovik,
Yury Chebiryak,
Daniel Kroening:
Periodic orbits and equilibria in glass models for gene regulatory networks.
IEEE Transactions on Information Theory 56(2): 805-820 (2010) |
| 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 |
Data released under the ODC-BY 1.0 license — See also our legal information page