Tkachev Alexander Vitalievich

Publications in Math-Net.Ru

1. DPLL-like satisfiability problem solver over the system of ANF equations
   
   Prikl. Diskr. Mat. Suppl., 2021, no. 14,  187–190
2. Automatic Field Order Detection of Image Sequences with Interlaced Scanning
   
   Novosibirsk State University Journal of Information Technologies, 15:2 (2017),  74–84