On the Hierarchical Community Structure of Practical SAT Formulas

This repository contains the parameter computation and instance generation tools used in our paper: "On the Hierarchical Community Structure of Practical SAT formulas".

correlation

This directory contains scripts and data for performing our HCS-based classification and regression experiments.

param-computation

This directory contains scripts for computing miscellaenous non-HCS-based parameters.

hcs-param-computation

This directory contains scripts for computing HCS-based parameters.

hcs-generator

This directory contains scripts for generating CNF formulas with user-specified HCS parameter values.