New CNF Features and Formula Classification.

Enrique Matos Alfonso, Norbert Manthey

Browse the full SAT paper archive.