Thinklab-SJTU / HardSATGEN

[SIGKDD 2023] HardSATGEN: Understanding the Difficulty of Hard SAT Formula Generation and A Strong Structure-Hardness-Aware Baseline
20Updated last year

Alternatives and similar repositories for HardSATGEN:

Users that are interested in HardSATGEN are comparing it to the libraries listed below