Approximations for boolean satisfiability - Lobo, João Felipe P.; Finger, Marcelo (Brazilian Logic Conference - EBL 2025, 2025)