@misc{indiciae30816aeacc8d, title = {ETH Flippers Approach to Parallel Reconfiguration of Triangulations: SAT formulation and Heuristics}, author = {Lorenzo Battini and Marko Milenković}, year = {2026}, url = {https://arxiv.org/abs/2603.22456}, note = {Source identifier: 2603.22456} }