%0 Journal Article
%A A. V. Tkachev
%A K. V. Kalgin
%T DPLL-like satisfiability problem solver over the system of ANF equations
%J Prikladnaya Diskretnaya Matematika. Supplement
%D 2021
%P 187-190
%N 14
%I mathdoc
%U http://geodesic.mathdoc.fr/item/PDMA_2021_14_a44/
%G ru
%F PDMA_2021_14_a44