Folgen
Yury Chebiryak
Yury Chebiryak
Zugehörigkeit unbekannt
Bestätigte E-Mail-Adresse bei inf.ethz.ch - Startseite
Titel
Zitiert von
Zitiert von
Jahr
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
272008
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
152008
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
International Conference on Theory and Applications of Satisfiability …, 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, 2012
2012
Lean Induced Cycles or Robust Cyclic Attractors
Y Chebiryak, D Kroening, T Wahl, I Zinovik
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–9