Follow
Yury Chebiryak
Yury Chebiryak
Unknown affiliation
Verified email at inf.ethz.ch - Homepage
Title
Cited by
Cited by
Year
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
282008
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
162008
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
132010
An efficient SAT encoding of circuit codes
Y Chebiryak, D Kroening
2008 International Symposium on Information Theory and Its Applications, 1-4, 2008
132008
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
62007
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
32009
Formal specification and verification of functions of vamos scheduler
Y Chebiryak
Master thesis, Saarland University, 2005
12005
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
The system can't perform the operation now. Try again later.
Articles 1–10