| Computing binary combinatorial gray codes via exhaustive search with SAT solvers I Zinovik, D Kroening, Y Chebiryak IEEE Transactions on Information Theory 54 (4), 1819-1823, 2008 | 28 | 2008 |
| Towards a classification of Hamiltonian cycles in the 6-cube Y Chebiryak, D Kroening Journal on Satisfiability, Boolean Modeling and Computation 4 (1), 57-74, 2008 | 17 | 2008 |
| Periodic orbits and equilibria in glass models for gene regulatory networks I Zinovik, Y Chebiryak, D Kroening IEEE Transactions on Information Theory 56 (2), 805-820, 2010 | 14 | 2010 |
| An efficient SAT encoding of circuit codes Y Chebiryak, D Kroening 2008 International Symposium on Information Theory and Its Applications, 1-4, 2008 | 13 | 2008 |
| An algebraic algorithm for the identification of Glass networks with periodic orbits along cyclic attractors I Zinovik, D Kroening, Y Chebiryak International Conference on Algebraic Biology, 140-154, 2007 | 6 | 2007 |
| Finding lean induced cycles in binary hypercubes Y Chebiryak, T Wahl, D Kroening, L Haller Theory and Applications of Satisfiability Testing-SAT 2009: 12th …, 2009 | 3 | 2009 |
| Formal specification and verification of functions of vamos scheduler Y Chebiryak Master thesis, Saarland University, 2005 | 1 | 2005 |
| Solving combinatorial problems with SAT Y Chebiryak Lulu. com, 2013 | | 2013 |
| Solving Combinatorial Problems with SAT Y Chebiryak, J Gutknecht, I Sbalzarini, D Kroening | | |
| Lean Induced Cycles or Robust Cyclic Attractors Y Chebiryak, D Kroening, T Wahl, I Zinovik | | |
