SAS - A Framework for Symmetry-based Approximate Synthesis. - Niklas Jungnitz; Oliver Keszöcze (DAC, 2024)