Hierarchical hardness models for SAT (2007)

by L Xu, H Hoos, K Leyton-Brown
Venue:In Principles and Practice of Constraint Programming (CP