Scalable parallel algorithms for difficult combinatorial problems: A case study in optimization