Search strategies and phase transitions in the random boolean satisfiability problem - Bittencourt, Heitor Pascoal; Fontanari, José Fernando (Semana Integrada do Instituto de Física de São Carlos - SIFSC, 2020)