Lyalina Al'bina Andreevna

Publications in Math-Net.Ru

1. On the complexity of unique Circuit SAT
   
   Zap. Nauchn. Sem. POMI, 475 (2018),  122–136