@inproceedings{inproceedings9dd78151,
title   = {Search strategies and phase transitions in the random boolean satisfiability problem},
author = {Bittencourt, Heitor Pascoal and Fontanari, José Fernando},
year = {2020},
publisher = {Instituto de Física de São Carlos - IFSC},
booktitle   = {Semana Integrada do Instituto de Física de São Carlos - SIFSC}
}