@inproceedings{inproceedings6482a6c9,
title   = {Approximations for boolean satisfiability},
author = {Lobo, João Felipe P. and Finger, Marcelo},
year = {2025},
publisher = {Sociedade Brasileira de Lógica - SBL},
booktitle   = {Brazilian Logic Conference - EBL 2025}
}