SAT instance analysis

Abstract

The objective is to develop a tool for extracting structural features of SAT instances; and use them to understand, and measure, state-of-the-art SAT solvers' performance.