OpenAlex
Unsatisfiability Bounds for Random CSPs from an Energetic Interpolation Method
Work