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

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

Tagungsbeiträge

2. An efficient SAT encoding of circuit codes

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

Tagungsbeiträge

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

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

Zeitschriftenbeiträge

4. Finding lean induced cycles in binary hypercubes

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

Reports

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

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

Reports

6. Solving combinatorial problems with SAT

Chebiryak, Yury (2012)

Dissertationen und Habilitationen

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

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

Reports