1. An algebraic algorithm for the identification of glass networks with periodic orbits along cyclic attractors

Zinovik, Igor, Chebiryak, Yury and Kröning, Daniel (2007)

Conference Contributions

2. An efficient SAT encoding of circuit codes

Chebiryak, Yury and Kröning, Daniel (2008)

Conference Contributions

3. Computing binary combinatorial gray codes via exhaustive search with SAT solvers

Zinovik, Igor, Kröning, Daniel and Chebiryak, Yury (2008)

Journal Items

4. Finding lean induced cycles in binary hypercubes

Chebiryak, Yury, Wahl, Thomas, Haller, Leopold and Kröning, Daniel (2009)

Reports

5. Periodic orbits and equilibria in glass models for gene regulatory networks

Zinovik, Igor, Chebiryak, Yury and Kröning, Daniel (2009)

Reports

6. Solving combinatorial problems with SAT

Chebiryak, Yury (2012)

Doctoral and Habilitation Theses

7. Towards a classification of Hamiltonian cycles in the 6-cube

Chebiryak, Yury and Kröning, Daniel (2008)

Reports