Showing 1 - 7 results of 7 for search 'Chebiryak, Y', query time: 0.02s
Refine Results
-
1
An efficient SAT encoding of circuit codes by Chebiryak, Y, Kroening, D
Published 2008Conference item -
2
Towards a Classification of Hamiltonian Cycles in the 6-Cube. by Chebiryak, Y, Kroening, D
Published 2008Journal article -
3
Periodic orbits and equilibria in glass models for gene regulatory networks. by Zinovik, I, Chebiryak, Y, Kroening, D
Published 2010Journal article -
4
Computing Binary Combinatorial Gray Codes Via Exhaustive Search With SAT Solvers. by Zinovik, I, Kroening, D, Chebiryak, Y
Published 2008Journal article -
5
An Algebraic Algorithm for the Identification of Glass Networks with Periodic Orbits along Cyclic Attractors by Zinovik, I, Kroening, D, Chebiryak, Y
Published 2007Conference item -
6
Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT−Solvers by Zinovik, I, Kroening, D, Chebiryak, Y
Published 2015Journal article -
7
Finding Lean Induced Cycles in Binary Hypercubes by Chebiryak, Y, Wahl, T, Kroening, D, Haller, L
Published 2009Conference item