A machine-learning based Empirical Hardness Model based on Hierarchical Community Structure of 3-SAT formulae. See arXiv:2103.14992.
smukhe-gh/CDCL-proof-structural-analysis
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
A machine-learning based Empirical Hardness Model based on Hierarchical Community Structure of 3-SAT formulae. See arXiv:2103.14992.