
This paper took @BalsellsRodas ~5 years in making: 2020/21: MSc proj, toy exp🐣 2022: added more exp, rejected due to weak theory 😥 2023/24: invented a new proof tech in another proj 🤔 2024/25: revisit, apply new proof tech, resubmit -> accepted 🥳 Persistence pays off indeed👍












