Learn to Unlearn. - Bernhard Gstrein; Florian Pollitt; André Schidler; Mathias Fleury; Armin Biere (SAT, 2025)