TY - RPRT TI - A Clustering-Based Variable Ordering Framework for Relaxed Decision Diagrams for Maximum Weighted Independent Set Problem AU - Mohsen Nafar AU - Michael Römer AU - Lin Xie PY - 2025 UR - https://arxiv.org/abs/2512.15198 ID - 2512.15198 ER -