Investigate other papers and add feature implementation
bprovanbessell opened this issue · comments
Features from
- Structure features for SAT instances classification (Ansotegui)
- New CNF features and formula classification (Alfonso)
bprovanbessell / SATfeatPy