Measuring the Hardness of SAT Instances.

Carlos Anstegui, Maria Luisa Bonet, Jordi Levy, Felip Many

Browse the full AAAI paper archive.