Data visualization tools for 3SAT instances

We present a set of data visualization tools that could lead to a better understanding of the conditions that make of a SAT instance a hard one. The visualization techniques included in this work are used to make evident the relationships between the SAT-variables in function of their distribution, signs and combinations of signs in the clauses. Using this information, the user may identify patterns associated with the hardness of a SAT instance which gives a more flexible measurement of the instance's hardness than just the relationship between the number of clauses (M) and the number of variables (N). It could be even possible to use the developed data visualization tools to determine if a specific solution method is best suitable for a specific SAT instance.