Community-based SAT Formulas
code: The source code of the proposed Community-based 3-SAT formula generating algorithm.
|--- Main.py: The main program.
|--- GenerateInstance.py: Generating a 3-SAT formula.
|--- Partition.py: Partitioning variables into communities.
|--- Util.py: Some helper functions.
|--- entity: Some data structures.
|------ Clause.py: The data structure of clauses.
|------ Community.py: The data structure of communities.
|------ Variable.py: The data structure of variables.
results: The experimental results in format of Excel.