판 이력 — Fast and Effective Redistricting Optimization via Composite-Move Tabu Search | AIChainDay