@article{TIMM_2013_19_2_a27,
     author = {R. T. Faizullin and V. I. Dul'keit and Yu. Yu. Ogorodnikov},
     title = {Hybrid method for the approximate solution of the $3$-satisfiability problem associated with the factorization problem},
     journal = {Trudy Instituta matematiki i mehaniki},
     pages = {285--294},
     publisher = {mathdoc},
     volume = {19},
     number = {2},
     year = {2013},
     language = {ru},
     url = {http://geodesic.mathdoc.fr/item/TIMM_2013_19_2_a27/}
}