%0 Journal Article
%A Pułka, A.
%T Selection of search strategies for solving 3-SAT problems
%J International Journal of Applied Mathematics and Computer Science
%D 2014
%P 283-297
%V 24
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IJAMCS_2014_24_2_a4/
%G en
%F IJAMCS_2014_24_2_a4