ETH Flippers Approach to Parallel Reconfiguration of Triangulations: SAT formulation and Heuristics

Lorenzo Battini, Marko Milenković

We describe the algorithms used by the ETH Flippers team in the CG:SHOP 2026 Challenge. Each instance consists of a set of triangulations on a common point set, and the objective i…