Added missing imports for lovasz_theta