Strengthening Relaxed Decision Diagrams for Maximum Independent Set Problem: Novel Variable Ordering and Merge Heuristics.

Mohsen Nafar, Michael Rmer

Browse the full CP paper archive.