Publications

Finding Lean Induced Cycles in Binary Hypercubes" DOI PDF bibtex

Y. Chebiryak, T. Wahl, D. Kroening and L. Haller

SAT 2009 (Twelfth International Conference on Theory and Applications of Satisfiability Testing), Swansea, Wales, United Kingdom, LNCS vol. 5584, Springer, pp. 18-31, 2009.
- Slides of my presentation on SAT conference, Swansea, UK, June 20, 2009.
- Slides of my presentation on 7-th Australia -- New Zealand Mathematics Convention, Christchurch, New Zealand, December 11, 2008.
- ETH technical report

"An Efficient SAT Encoding of Circuit Codes" DOI PDF bibtex

Y. Chebiryak and D. Kroening,

Procs. IEEE Symposium on Information Theory and its Applications, 2008, to appear.

"Towards a Classification of Hamiltonian Cycles in the 6-cube" PDF bibtex

Y. Chebiryak and D. Kroening,

Journal on Satisfiability, Boolean Modeling and Computation, vol. 4, pp. 57-74, 2008.
- a corrected version of this paper is available as technical report, ETH Zurich.

"Computing Binary Combinatorial Gray Codes via Exhaustive Search with SAT-solvers" PDF DOI bibtex

I. Zinovik, D. Kroening and Y. Chebiryak,

IEEE Transactions on Information Theory, vol. 54, pp. 1819-1823, April 2008.
- an extended version of this paper is available as technical report 580, ETH Zurich.
- some codes reported in this paper are available here.
- a table with current bounds of circuit codes is here.

"An Algebraic Algorithm for the Identification of Glass Networks with Periodic Orbits along Cyclic Attractors" PDF DOI bibtex

I. Zinovik, D. Kroening and Y. Chebiryak,

Proceedings of Algebraic Biology, LNCS vol. 4545, Springer, pp. 140-154, 2007.
- an extended version of this paper is available as technical report 557, ETH Zurich.

"Formal Specification and Verification of Functions of the VAMOS Scheduler" PDF

Master Thesis, Saarland University, 03.11.2005.
This work was done within project.

"Documenting the programmer environment for L4Ka operating system" PDF

Diploma thesis, Pacific National University, 2004.
This work was done within project.

"Estimation of interdiffusion coeffcients for transition metals in the process of electrospark doping of tantalum" (in Russian) PDF

S. A. Pyachin, V. G. Zavodinsky, A. A. Gnidenko, Yu. A. Chebiryak.

Published in "Fizika i Khimiya Obrabotki Materialov" ("Physics and chemistry of materials treatment"), N3, 2004, pages 59-65, (in Russian).


(1)

"Obtaining and Investigations of Covering from Graphite on the Copper"
(in Russian)		 PDF

A. P. Kuz'menko, A. V. Syarg, M. P. Leonov, V. I. Savchenko, V. A. Groshev, A. V. Kaminskiy, Yu. A. Chebiryak, V. G. Zavodinskiy.

Published in "Equipment and Technologies of Thermal Treatment of Metals and Alloys. Part II: Proceedings of 4th International Conference "Equipment and Technologies of Thermal Treatment of Metals and Alloys", pages 152-156, Kharkov, 2003.

"New sources of energy: electrical (by compounding copper and graphite) and thermal"
(in Russian)

A. P. Kuz’menko, Yu. A. Chebiryak, V. G. Zavodinskiy, A. V. Syarg, M. P. Leonov, V. I. Savchenko, V. A. Groshev, A. V. Kaminskiy,

in Proceedings of Far-Eastern innovations conference, part 2, pp. 148-157, Khabarovsk, 2003.

"Computer Modeling of the carbon atoms interaction with a copper surface"
(in Russian)

Yu. A. Chebiryak, V. G. Zavodinsky.

Published in "Proceedings of 4th Regional Scientifc Conference "Physics: fundamental and applied researches", pages 28-29, Vladivostok, 2003.