Kondratiev Viktor Sergeevich

Publications in Math-Net.Ru

1. Duplicates of conflict clauses in CDCL derivation and their usage to invert some cryptographic functions
   
   Num. Meth. Prog., 20:1 (2019),  54–66