Shadoks Approach to Parallel Reconfiguration of Triangulations (CG Challenge)

Key Points

• This research aims to detail the strategies employed by Team Shadoks to excel in the CG:SHOP 2026 Challenge focused on triangulations.
• Combined exact methods based on SAT with greedy heuristics.
• Utilized SAT and MaxSAT for enhancing solutions.
• Focused on the parallel reconfiguration of planar triangulations.
• Achieved significant performance improvements in triangulation tasks.
• Demonstrated a successful integration of exact methods with heuristics.
• Highlighted the effectiveness of the SAT framework in computational challenges.