GitHub repository: snailphobia/K-Clique---SAT
Created: 2023-01-02T20:07:10Z
Description: reduction from K-Clique to SAT problem