Asymptotically Smaller Encodings for Graph Problems and Scheduling

Open in new window