Ignat'ev Aleksei Sergeevich

Publications in Math-Net.Ru

1. About convergence of a hybrid SAT+ROBDD-derivation
   
   Prikl. Diskr. Mat. Suppl., 2012, no. 5,  118–120
2. Algorithms using ROBDD as a base for Boolean constraints
   
   Prikl. Diskr. Mat., 2010, no. 1(7),  86–104
3. A hybrid approach (SAT+ROBDD) to cryptanalysis of stream encryption systems
   
   Prikl. Diskr. Mat., 2009, no. supplement № 1,  19–20
4. Влияние спейсер-слоев на вольт-амперную характеристику туннельно-резонансных диодов
   
   Fizika i Tekhnika Poluprovodnikov, 26:10 (1992),  1795–1800
5. STUDY OF THE FORMATION OF TITANIUM NITRIDE LAYERS UNDER THE LOW-ENERGY IMPLANTATION OF NITROGEN-IONS TO TITANIUM
   
   Pisma v Zhurnal Tekhnicheskoi Fiziki, 18:10 (1992),  67–73
6. Study of the Formation of $\beta$-SiC Monocrystalline Layers on Si by the Method of Highly Intense Ionic Doping
   
   Fizika i Tekhnika Poluprovodnikov, 21:5 (1987),  920–922
7. DETERMINATION OF THICKNESS AND COMPOSITION OF EPITAXIAL LAYERS DURING GAAS-GA1-XALX-AS STRUCTURE FORMATION
   
   Zhurnal Tekhnicheskoi Fiziki, 56:6 (1986),  1198–1201
8. ELECTRON AUGER-SPECTROMETRY OF THIN PLATINUM SILICIDE FILMS ON SILICON
   
   Zhurnal Tekhnicheskoi Fiziki, 54:6 (1984),  1212–1214