@article{VMP_2019_20_1_a5,
     author = {V. S. Kondratiev and A. A. Semenov and O. S. Zaikin},
     title = {Duplicates of conflict clauses in {CDCL} derivation and their usage to invert some cryptographic functions},
     journal = {Numerical methods and programming},
     pages = {54--66},
     publisher = {mathdoc},
     volume = {20},
     number = {1},
     year = {2019},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/VMP_2019_20_1_a5/}
}