@mastersthesis{mastersthesis0fb34de8,
title   = {Search strategies and phase transition in the Random Boolean satisfiability problem},
author = {Bittencourt, Heitor Pascoal de and Fontanari, José Fernando},
year = {2021},
doi = {10.11606/D.76.2021.tde-02092021-162034},
school = {Universidade de São Paulo}
}