Faster numeric static analyses with unconstrained variable oracles. - Vincenzo Arceri; Filippo Bianchi; Greta Dolcetti; Enea Zaffanella (PeerJ Comput. Sci., 2025)