Selection of search strategies for solving 3-sat problems Andrzej Pułka — 2014 International Journal of Applied Mathematics and Computer Science